godel

Mathematical Girls

更新履歴

23/12/30 ひとまず完成
23/07/26 再開
21/11/22 init.

参考文献

リンクは新しいタブで開いてください。

[1] 結城浩, 『数学ガール/ゲーデルの不完全性定理』

link
本Repository では、これを Idris で実装することを目標にする。
不完全性定理の章は難しいが、20回 くらい読み返すと、理解も深まってくる。
副菜も、ペアノ算術、素朴集合論、全射/単射、0.999...=1、ε-δ論法、対角線論法、同値関係、と良い味出してる。

[2] 田中一之(編), 『ゲーデルと20世紀の論理学3/不完全性定理と算術の体系』

link
不完全性定理の現代的証明を展開している。分かり易かった。

[3] 野矢茂樹, 『論理学』

link
入門者向け。不完全性定理のエッセンスを理解したいならこの一冊で十分。

[4] ゲーデル(著), 林晋(解説,翻訳), 八杉満利子(解説,翻訳) 『ゲーデル 不完全性定理』

link
ゲーデルの原論文を持っていると安心するよね。

[5] 野崎昭弘, 『不完全性定理―数学的体系のあゆみ』

link
手元から離れていってしまった。悪い本ではなかった。

[6] スマリヤン(著), 高橋昌一郎(翻訳), 川辺治之(翻訳), 村上祐子(翻訳), 『スマリヤン 不完全性定理【改訳版】』

link
集合論を使った、少し違う証明をおこなっている。
私には理解できなかった。

[7] 本橋信義, 『今度こそわかるゲーデル不完全性定理』

link
著者が提唱している「新しい論理学」というものを使って証明がなされている。
「今度こそわかる」と銘打っているが、上級者向けの本だと思う。
と思ってたけど読み進めると、意外と分かり易い。