ゲーデルの不完全性定理の頂を踏む [単行本]

不完全性定理とはなにか 完全版―ゲーデルとチューリング 天才はなにを証明したのか(ブルーバックス) [新書]

不完全性定理とはなにか 完全版 ゲーデルとチューリング 天才はなにを証明したのか（講談社） [電子書籍]

ゲーデル、エッシャー、バッハ―あるいは不思議の環 20周年記念版 [単行本]

ゲーデル 不完全性定理(岩波文庫) [文庫]

ゲーデルの悪霊たち―論理学と狂気 [単行本]

不完全性定理と算術の体系(ゲーデルと20世紀の論理学〈3〉) [全集叢書]

ゲーデルの哲学―不完全性定理と神の存在論(講談社現代新書) [新書]

数学ガール／ゲーデルの不完全性定理（SBクリエイティブ） [電子書籍]

スマリヤンの決定不能の論理パズル―ゲーデルの定理と様相理論 [単行本]

証明と論理に強くなる ～論理式の読み方から、ゲーデルの門前まで～ [単行本]

ロジカル・ディレンマ―ゲーデルの生涯と不完全性定理 [単行本]

クルト・ゲーデル―史上最もスキャンダラスな定理を証明した男 [単行本]

証明と論理に強くなる ～論理式の読み方から、ゲーデルの門前まで～ （技術評論社） [電子書籍]

ゲーデルの世界―その生涯と論理 [単行本]

ゲーデルの哲学 不完全性定理と神の存在論（講談社） [電子書籍]

ノイマン・ゲーデル・チューリング（筑摩書房） [電子書籍]

今度こそわかるゲーデル不完全性定理 （講談社） [電子書籍]

ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀 [全集叢書]

ゲーデルに挑む―証明不可能なことの証明 [単行本]

数学ガール ゲーデルの不完全性定理 1（KADOKAWA） [電子書籍]

数学ガール ゲーデルの不完全性定理 2（KADOKAWA） [電子書籍]

ゲーデル 不完全性発見への道(双書〈6〉―大数学者の数学) [単行本]

ゲーデルと20世紀の論理学(ロジック)〈4〉集合論とプラトニズム [全集叢書]

リーディングス 数学の哲学―ゲーデル以後 [単行本]

公理的集合論への一歩―無限についてのおはなし(数学セミナーライブラリー) [単行本]

知性の限界―不可測性・不確実性・不可知性(講談社現代新書) [新書]

教養としてのAI講義 [単行本]

哲学的な何か、あと数学とか(二見文庫) [文庫]

この世界は不完全すぎる（4）（講談社） [電子書籍]

「知」の欺瞞―ポストモダン思想における科学の濫用(岩波現代文庫) [文庫]

まったくゼロからの論理学 [単行本]

万能コンピュータ―ライプニッツからチューリングへの道すじ [単行本]

数学ガール/リーマン予想 [単行本]

フォン・ノイマンの哲学―人間のフリをした悪魔(講談社現代新書) [新書]

探偵小説の様相論理学 [単行本]

眠れなくなるほど面白い 図解 認知バイアス [単行本]

πの話(岩波現代文庫) [文庫]

理性の限界―不可能性・不確定性・不完全性(講談社現代新書) [新書]

宇宙とは何か（SBクリエイティブ） [電子書籍]

考える機械たち―歴史、仕組み、倫理-そして、AIは意思をもつのか? [単行本]

ガウディ―わすれられない夏 [絵本]

数学的(角川ソフィア文庫―千夜千冊エディション) [文庫]

わたしは不思議の環 [単行本]

ビジュアル数学全史―人類誕生前から多次元宇宙まで [単行本]

万物の理論としての圏論 [単行本]

帰納的関数 復刊 [単行本]

論理学への数学的手引き [単行本]