[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 09/16 22:52 / Filesize : 574 KB / Number-of Response : 1056
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

なぜ、ZFC公理まで遡らなくても数学が出来るの？

601 名前：１３２人目の素数さん mailto:sage [2024/12/15(日) 16:59:55.26 ID:kG3JrngK.net]
> ヒルベルトがカントールの素朴集合論を数学に取り入れるために
> 数学を記号論理による基礎付けをしようと提唱した（形式主義）
　いろいろ嘘がある
　まず、ヒルベルトはカントールの集合論がそのまま数学になるとは考えていなかった
　そして、ヒルベルトは記号論理で表せば十分だとも考えていなかった
　記号論理は算術化による無矛盾性証明の基礎でしかない




[ 続きを読む ] / [ 携帯版 ]
全部読む 前100 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（；´Д｀）＜574KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef