[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
314(1): 2020/02/22(土)17:03 ID:0iFmeQIA(10/13) AAS
>>312
いや、スレを立てる程のことではないんで。
315(1): 2020/02/22(土)17:08 ID:fVuNZJ03(4/6) AAS
>>314
いや、君の証明の誤りをほじくる物好きだけのスレッドにしたいんで。
316(1): 2020/02/22(土)17:08 ID:0iFmeQIA(11/13) AAS
それじゃ、おっちゃんもう寝る。
317: 2020/02/22(土)17:09 ID:fVuNZJ03(5/6) AAS
>>316
もう、ここには決して書かないでくれ
私は君には全く興味がない
318(1): 2020/02/22(土)17:13 ID:0iFmeQIA(12/13) AAS
>>315
スレを立ててもいいけど、毎日書くことはないんで、スレを立てたら他の人が埋めて行くようなことになると思う。
319: 2020/02/22(土)17:14 ID:0iFmeQIA(13/13) AAS
それじゃ、おっちゃんもう寝る。
320: 2020/02/22(土)17:18 ID:fVuNZJ03(6/6) AAS
>>318
立ててくれ 立てない言い訳などここに書かないでくれ
321(2): 2020/02/23(日)14:38 ID:gvCb7XkO(1/3) AAS
外部ﾘﾝｸ[pdf]:www.sci.shizuoka.ac.jp
数学基礎論サマースクール2019
選択公理と連続体仮説
導入：完全性定理，不完全性定理，ZFC 集合論
2019年9月3日 静岡大学
菊池 誠（神戸大）
菊池誠, 数と論理の物語 ? 不完全性定理について考えるた
めの10の定理, 数学セミナー, 2019年4月号から連載中.
322(2): 2020/02/23(日)17:33 ID:f+nUR9kX(1/3) AAS
>>321
君に問題を出そう
不完全性定理が成り立つ理論Tでは
Tの無矛盾性Con(T)はTでは証明できない
つまり、Tに¬Con(T)を公理として追加した
理論T＋¬Con(T)も無矛盾だ
さてT+¬Con(T)でCon(T+¬Con(T))の真偽は決定可能か？
323: 2020/02/23(日)20:38 ID:f+nUR9kX(2/3) AAS
>>322の問題の回答は明日までまってやろう
324: 2020/02/23(日)21:46 ID:gvCb7XkO(2/3) AAS
>>321
>菊池誠, 数と論理の物語 ? 不完全性定理について考えるた
>めの10の定理, 数学セミナー, 2019年4月号から連載中.
2019年12月号にあるが
「有理数体Qの完備化」をすれば「完備順序体」になる
それが、連続性の公理を満たす順序体としてのRの理解
「正しいRの理解の仕方」
325: 2020/02/23(日)22:26 ID:f+nUR9kX(3/3) AAS
>>322には答えられんかね？
それならそうと口に出してくれ
326(1): 2020/02/23(日)22:57 ID:gvCb7XkO(3/3) AAS
スレチ
分からない問題はここに書いてね458
2chｽﾚ:math
面白い問題おしえて〜な 31問目
2chｽﾚ:math
327: 2020/02/24(月)06:56 ID:2WGbUpan(1/3) AAS
>>326
「答えられない」という返答と受け取った
では答を書こう
T+¬Con(T) で ¬Con(T+¬Con(T)) が証明できる
なぜならいかなるPについても¬Con(T)⇒¬Con(T+P)だから
実に簡単なこと
しかし、これが悩ましいのは
T+¬Con(T)が無矛盾なのに¬Con(T+¬Con(T))が証明できること
省4
328(1): 2020/02/24(月)13:04 ID:uEXSAJod(1) AAS
ご苦労さま
329: 2020/02/24(月)14:30 ID:2WGbUpan(2/3) AAS
>>328
なんかHN無くなったら、落ち着いたな・・・
いいことだ
330(1): 2020/02/24(月)16:26 ID:ijR/BEIi(1) AAS
時枝の話し始めたらまた暴れそうｗ
331: 2020/02/24(月)17:20 ID:2WGbUpan(3/3) AAS
>>330
それは安達スレでやってくれたまえ
332: 2020/02/25(火)15:23 ID:vq/DQVzL(1) AAS
おっちゃんです。
それじゃ、おっちゃんもう寝る。
333: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/25(火)20:28 ID:9Ip+NlYg(1/4) AAS
おっちゃん、どうも、スレ主です。
お休みなさい（＾＾
上下前次1-新書関写板覧索設栞歴
あと 669 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s