5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

数学基礎論・数理哲学 その0

1 :132人目の素数さん:2011/10/08(土) 16:16:34.15
数学基礎論は
・フレーゲによる算術の基礎づけ、及び、
 ラッセルによる逆理の指摘
・ヒルベルトによる解析学の無矛盾性証明の計画
 ”ヒルベルト・プログラム”の提案、及び
 ゲーデルの不完全性定理による破綻宣告
等、数学の基礎(foundation)に対する哲学的考察である。

 特に、後者の不完全性定理の影響は大きく、数理論理学が
哲学から数学に飛躍する機会にもなったが、数学の基礎づけ
は、今なお重要な問題である。

なお、このスレッドは、基礎的(basic)な数学は取り扱わない。
基礎的な数学に関する質問は他のスレッドで行うよう
お願いしたい。

20 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.02 2018/11/22 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)