[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
3(1): 2024/11/12(火)21:59:45.06 ID:CvSdMo87(1) AAS
Hilbertが目指したのは、現代数学を公理の上に築いて、その公理系が無矛盾であることを示すこと
しかし、Gödelの不完全性定理によりそれは不可能であると判明したので、無駄な努力に終わった
239(1): 2024/12/04(水)20:05:04.06 ID:U5RJOIS1(12/17) AAS
>>238 補足
存在例化は、述語論理でよく使われるアイテムって言ったよね
しかし、ZFCの中で存在を具体化出来るってありか？www
321(1): 2024/12/06(金)10:45:19.06 ID:O3nksi55(1/5) AAS
横レスだが。
理解できてると言えばボロが出るからそうは言えないし、
理解できてないと言えば>>314-315に反論できないのでそうも言えない。
だから「理解とは無関係」と言い張るしかない。
詭弁だな。
602: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/16(月)14:20:33.06 ID:24IgbVxn(7/20) AAS
つづき
実数
Wikipedia
a.wikipedia.org › wiki › 実数
実数の構成は有理数の空間 Q の完備化とよばれる手続きによる方法が一般的である。 有理数の空間には二つの数の差の絶対値として定義される距離 d(a, b) = |a − b| から ...
実数の構成について
学校法人学習院 2011年 田崎晴明
www.gakushuin.ac.jp › RealNote1105
PDF
2011/05/08 — 有理数についての大小関係、和、差、積、商、大小関係はすべて既知として、以下では実 数の集合 R を構成する。 有理数には、たとえば √ 2 のように、「 ...
省18
665(3): 2024/12/17(火)11:44:05.06 ID:dLaHNwiE(3/8) AAS
>>655
>なぜ”崩壊”（Kolaps）かは不明です
一般にはたくさん考えられるのが∈による分かり易いものに「落とし込める」みたいなイメージなのかも？
それでも日本語訳の「崩壊」はなんか変
674(2): 2024/12/17(火)12:33:36.06 ID:h6ypUBOY(1/2) AAS
>>669
> なんかぐじぐじと、筋の悪いネバり方をする
レス番違ってるっぽいけど、
まさかZFCではすべての集合は整列可能なので
任意の集合aとbについて、a∈bかb∈aのいずれかが成り立つようにできる
とか●●丸出しなトンデモ発言してる？
君、もう完全に●んでるよ
だからいってるじゃん
数学に興味もたずに、生涯、囲碁将棋で遊びまくってなって
729: 2024/12/20(金)10:03:53.06 ID:qNG6wnGr(1) AAS
童貞は分かってないくせにそれを指摘されるとブチ切れる
三歳児か
759(3): 2024/12/20(金)20:55:17.06 ID:t2An/AAh(8/12) AAS
>>758
∈も分かってないのになんでちゃんと書かれてるか判断できるの？
788(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/21(土)09:44:29.06 ID:2V79/Y1m(7/23) AAS
>>779 補足
(引用開始)
(参考)
www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室−システム情報数理学II研究室−
www.math.is.tohoku.ac.jp/~obata/student/subject/
「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf)
第13章
(引用終り)
第13章が 整列集合で、”超限帰納法”があるね
省21
844: 2024/12/21(土)20:06:00.06 ID:26O59SCD(23/42) AAS
>>842
じゃここで発言するのやめなよｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.934s*