[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
おっちゃん、どうも、スレ主です。
お休みなさい（＾＾
334(2): 2020/02/25(火)21:22 ID:IJ5Uh44A(1/2) AAS
↑
運営に荒し認定されたキチガイサイコパス
335(1): 2020/02/25(火)21:53 ID:2uQwcKIe(1) AAS
AA省
336: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/25(火)23:13 ID:9Ip+NlYg(2/4) AAS
>>335
ｴﾓちゃん
レスありがとう
感謝！ 感謝！ （＾＾
337: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/25(火)23:16 ID:9Ip+NlYg(3/4) AAS
>>334
＞運営に荒し認定されたキチガイサイコパス
証明は？ｗｗ(゜ロ゜;
ない！！ ｗｗ（＾＾；
338(1): 2020/02/25(火)23:38 ID:IJ5Uh44A(2/2) AAS
そうやって自演してるのが証拠
339: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/25(火)23:42 ID:9Ip+NlYg(4/4) AAS
↑
それって、自分が運営だと、妄想しているってことかね？ｗ（＾＾；
340(2): ｴﾓ ◆jPpg5.obl6 2020/02/26(水)00:06 ID:LPoLrC/z(1) AAS
>>338
主様がｴﾓレスを自演したことなんか
１度も無かったです。
最初のＱの時から１回も。
もうｴﾓ書き込み自粛したいんで、
ｴﾓレスを「主様の自演」って疑うのは止めてあげてください。。。
お願いします。。。
お休みなさい。
341: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/26(水)00:29 ID:k6R9fA73(1/2) AAS
>>340
大丈夫だよ
サイコパスに構うなよ
おサルに噛みつかれるよ(゜ロ゜;；
上下前次1-新書関写板覧索設栞歴
あと 661 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s