現代数学の系譜 工学物理雑談 古典ガロア理論も読む51
■ このスレッドは過去ログ倉庫に格納されています
“現代数学の系譜 物理工学雑談 古典ガロア理論も読む”
数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
皆さまのご尽力で、伝統あるガロアすれは、
過去、数学板での勢いランキングで、常に上位です。（勢い１位の時も多い（＾＾ ）
このスレは、現代数学のもとになった物理工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで良ければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。
なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
High level people
低脳幼稚園児のAAお絵かき
お断り！
小学生がいますので、18金よろしくね！（＾＾
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 http://rio2016.2ch.net/test/read.cgi/math/1506152332/
旧スレが512KBオーバー（又は間近）で、新スレ立てる
（スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。） >>129
＞２）の仮定Pが偽の場合は、結論Qが真であることが保証されません（論理学の基本）
間違っている。スレ主とかいうゴミクズは目的と手段をはき違えている。
・ 目的：「 P → Q 」という命題全体が真であることを証明したい。
・ 手段： P という仮定のもとで結論Qを導けばよい。
お前はここで、次のように勘違いしているのである。
「 P → Q が真であることを証明するには、P という仮定のもとで Q を導くしか方法がない 」
明らかに目的と手段をはき違えている。目的はあくまでも、「 P → Q 」という命題全体が真であることを
証明することである。もし仮定 P が偽であることが示せたなら、その時点で「 P → Q 」という命題全体が
真であることが確定するので、既に目的は達成されている。すなわち、この場合には Q を導く必要が無いのである。
Q を導くという方針は、あくまでも1つの手段に過ぎないのであり、「 Q を導くことが絶対に必要である」
ということにはならない。すなわち、次のようにすればいいのである。
―――――――――――――――――――――――――――――
P → Q が成り立つことを示したい。
P が成り立つとする。Q が成り立つことを示せばよい。
(〜〜何らかの議論〜〜)
ゆえに、¬P が成り立つ。すなわち、P ∧ ¬P が成り立つ。
従って、実は P は偽だったということになる。
よって、「 P → Q 」という命題全体は真であることが確定する。
―――――――――――――――――――――――――――――
↑このように、P が偽であることが判明した場合、もはや Q を導く必要がないのである。
目的と手段をはき違えて、「 Q を絶対に導かなければならない」と思い込んでいるバカタレがスレ主である。 ちなみに、P が偽であることが判明した場合、議論をそこでやめずに Q を導くことも
実際には可能である。次のようにすればよい。
――――――――――――――――――――――――――――――――
P → Q が成り立つことを示したい。
P が成り立つとする。Q が成り立つことを示せばよい。
(〜〜何らかの議論〜〜)
ゆえに、¬P が成り立つ。すなわち、P ∧ ¬P が成り立つ。
これは「矛盾」である。矛盾した命題からは無条件に任意の命題を導出してよいので、
特に「 Q 」を導出してよい。よって、Q が成り立つ。
以上より、P が成り立つという仮定のもとで Q が導出できたので、P → Q は真である。
―――――――――――――――――――――――――――――――― ■ このスレッドは過去ログ倉庫に格納されています
