リーディングス数学の哲学 : ゲーデル以後

著者

• 飯田, 隆 イイダ, タカシ

書誌事項

リーディングス数学の哲学 : ゲーデル以後

飯田隆編

勁草書房, 1995.8

タイトル別名

Readings in the philosophy of mathematics : after Gödel

リーディングス : 数学の哲学 : ゲーデル以後

タイトル読み

リーディングス スウガク ノ テツガク : ゲーデル イゴ

注記

索引: p331-352

内容説明・目次

目次

• １　ゲーデル数学の哲学（カントールの連続体問題とは何か；ラッセルの数理論理学；数学的諸対象に関するゲーデルのテーゼ）
• ２　集合論・証明論・直観主義（反復的な集合観；証明論の哲学的立場；ブラウワー的直観主義）
• ３　数学における存在と認識（数学的真理；基礎づけのいらない数学；数学的直観）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN13056932
• ISBN:
  • 9784326101047
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: x, 352p
• 大きさ: 22cm
• 分類:
  • NDC9 : 410.1
  • NDC8 : 410.1
  • NDC7 : 410.11
  • NDLC : H151
• 件名:
  • BSH : 数理哲学