リーディングス数学の哲学 : ゲーデル以後
著者
書誌事項
リーディングス数学の哲学 : ゲーデル以後
勁草書房, 1995.8
- タイトル別名
-
Readings in the philosophy of mathematics : after Gödel
リーディングス : 数学の哲学 : ゲーデル以後
- タイトル読み
-
リーディングス スウガク ノ テツガク : ゲーデル イゴ
大学図書館所蔵 件 / 全176件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
索引: p331-352
内容説明・目次
目次
- 1 ゲーデル数学の哲学(カントールの連続体問題とは何か;ラッセルの数理論理学;数学的諸対象に関するゲーデルのテーゼ)
- 2 集合論・証明論・直観主義(反復的な集合観;証明論の哲学的立場;ブラウワー的直観主義)
- 3 数学における存在と認識(数学的真理;基礎づけのいらない数学;数学的直観)
「BOOKデータベース」 より