検索キーワード:(件名: #数学基礎論)
該当件数:21件
數理の歴史主義展開 : 數學基礎論覺書 / 田邊元著
東京 : 筑摩書房 , 1954.11
図書
数学基礎論入門 / R.L.グッドステイン著 ; 赤攝也訳
東京 : 培風館 , 1979.3
数学基礎論 / 前原昭二, 竹内外史著
東京 : 筑摩書房 , 2017.1. - (ちくま学芸文庫 ; [マ-41-1])
数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著
東京 : 日本評論社 , 1997.3
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
入門数学基礎論 / 倉田令二朗著
名古屋 : 河合文化教育研究所. - 東京 : 河合出版 (発売) , 1996.1. - (数学基礎論シリーズ / 倉田令二朗監修 ; 1巻)
公理と証明 : 証明論への招待 / 彌永昌吉, 赤攝也著
東京 : 筑摩書房 , 2012.9. - (ちくま学芸文庫 ; [イ37-2])
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
數理哲學研究 / 田邊元著
東京 : 岩波書店 , 1925.5
数学の基礎 / [L.ウィトゲンシュタイン著] ; 中村秀吉, 藤田晋吾訳
東京 : 大修館書店 , 1976.5. - (ウィトゲンシュタイン全集 ; 7)
プログラミングによる計算可能性理論 / A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳
東京 : サイエンス社 , 1987.12. - (Information & computing ; 18)
数理哲学 / ニーボン著 ; 安藤洋美訳
東京 : 明治図書出版 , 1970.7. - (数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第3)
数論・論理・意味論その原型と展開 : 知の巨人たちの軌跡をたどる / 野本和幸著
東京 : 東京大学出版会 , 2019.8
数学基礎論 / ニーボン著 ; 安藤洋美訳
東京 : 明治図書出版 , 1970. - (数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第2)
記号論理学 / ニーボン著 ; 安藤洋美訳
東京 : 明治図書出版 , 1970. - (数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第1)
数学の基礎・人間活動と数学
東京 : 大竹出版 , 2001.3. - (みえる数学の世界 / 山崎昇監訳 ; 3)
集合論とプラトニズム / 田中一之編
東京 : 東京大学出版会 , 2007.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4)
無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳
東京 : 白揚社 , 1994.3
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
不完全性定理と算術の体系 / 田中一之編
東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)