[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
804: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/07(土) 11:02:17.44 ID:8WzaZQff >>802-803 ゲンツェン (1936).か おサルは、えらく古い話をしっているなー（＾＾ 赤 摂也先生、培風館ねー おサルは、三歳児なのに、よく知っているね〜ｗ（＾＾ https://ja.wikipedia.org/wiki/%E8%B5%A4%E6%94%9D%E4%B9%9F 赤攝也（せき せつや） (抜粋) 来歴 石川県金沢市に生まれる。筆名・愛知三郎。1949年東京大学理学部数学科卒業。51年同大学院（旧制）修了。1961年東京教育大学理学博士。1962年立教大学助教授、教授、1984年東京教育大学教授、90年定年退官、放送大学教授、客員教授。 数学者吉田洋一は義父、哲学者の吉田夏彦は義兄にあたる。妻は翻訳家の赤冬子（1930-、立教大学英文科卒）。弥永昌吉ゼミ研究生だった関恒義一橋大学名誉教授の妻は妹[2]。 人物 数学基礎論の権威として知られる。 https://ja.wikipedia.org/wiki/%E5%9F%B9%E9%A2%A8%E9%A4%A8 培風館 http://www.baifukan.co.jp 株式会社 培風館 http://rio2016.5ch.net/test/read.cgi/math/1566715025/804
811: １３２人目の素数さん [] 2019/09/07(土) 17:48:52.95 ID:g5ZGoduN >>802-804 工業高校卒は論理が分からないから 支離滅裂な連想で検索するね だから馬鹿のままなんだよｗ 単に自然数論では自然数の全体の集まりなんて扱わないということ 集合論では集合の全体の集まり（集合でない）なんて扱わないのと同じ http://rio2016.5ch.net/test/read.cgi/math/1566715025/811
836: １３２人目の素数さん [sage] 2019/09/08(日) 07:00:06.76 ID:bH+0Hw/z >>804 >>803は、いろいろ問題があるね ＞3) 真とも偽とも決定できぬ場合 ＞∀や∃を含まぬ命題については, ＞3)の場合はあり得なかった。 「∀や∃を含まぬ命題」は、正しくは 「∀や∃を含まぬ”自然数論の”命題」だろう なぜなら命題論理の式の中には 真偽が決定できない式がある 例えば、A∧B は恒真式でも 恒偽式でもないから 真偽が決定できない ＞通常の立場では,自由変数を含まぬ命題の真偽は, ＞われわれがそれを決定できると否とにかかわらず, ＞真か偽のいずれかに定まっている,と考える(排中律)。 排中律を前提しても、二値論理になるとはいえない 真偽値がブール代数であれば排中律を満たすので 真でも偽でもない真偽値をとることはあり得る ＞命題の真偽に,より精密な定義を与えることが必要となる。 ＞そして,それを実行したのが, ＞ゲンツェンによる"自然数論の無矛盾性証明"である。 これ、最大級の誤解 というのは、ゲンツェンの無矛盾性証明は 自然数論の証明図をある順序（ε0)で並べて 証明図からカット除去ができることを その順序の帰納法で証明したものだから 真偽の定義なんて出てこないし 自然数論に一意的な真偽の定義が存在し得ないことは ゲーデルの不完全性定理で証明されている http://rio2016.5ch.net/test/read.cgi/math/1566715025/836
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.037s