さいたま市図書館新着情報(非公式)

さいたま市図書館の新着図書の情報をお知らせします

不完全性定理

スマリヤン不完全性定理 改訳版


スマリヤン不完全性定理 改訳版
Raymond Smullyan 高橋 昌一郎 川辺 治之 村上 祐子

予約数: 1
予想待ち時間: 1か月程度
図書館で予約する 携帯から
Amazonを見る 携帯から
【内容紹介】
不完全性定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲーデルの証明、タルスキーの定理、ロッサー体系など、最も単純なものを中心に、創意工夫をこらして解説。

山の上のロジック学園-不完全性定理をめぐる2週間の授業日誌


山の上のロジック学園-不完全性定理をめぐる2週間の授業日誌
田中 一之 バラマツ ヒトミ

予約数: 1
予想待ち時間: 2週程度
図書館で予約する 携帯から
Amazonを見る 携帯から
【内容紹介】
ロジック学園で行われる2週間の特別入門授業。入門生たちはロジックの理解を目指し奮闘するが、最終日に衝撃的な出来事が…。物語を通して「ゲーデルの不完全性定理」などを理解できる一冊。『数学セミナー』連載を書籍化。
記事検索
アクセスカウンター

    タグクラウド
    最新コメント
    • ライブドアブログ