ホンバ！本との出会い
本を手に取っています…
本を手に取っています…
気になる一冊を、どの端末でも。
このブラウザの気になる本とメモを引き継ぎ、別の端末でも見返せます。メモは公開されません。
ログインしなくても保存・メモを使えます。本屋の灯りをつけています…
ギリシャの数学から集合論、証明の形式化へ。数学的体系の歴史をたどりながら、ゲーデルの不完全性定理の意味を考える入門書です。
この本を買う
Supported by Rakuten Developers図書館で探す不完全性定理に至る数学の歴史と、その結果が意味することを知りたい人へ。
ギリシャの数学から集合論、証明の形式化へと進む構成です。体系と証明の考え方を歴史に沿ってたどれます。
ホンバの選書案内です。読者の感想は「読者のことば」から読めます。
紹介・書誌の確認先 ↗書誌情報は、掲載しているISBNの版に対応します。