本/雑誌

ゲーテル 不完全性発見への道 (双書・大数学者の数学)

北田均/著

1980円
ポイント 1% (19p)
発売日 2011/05/22 発売
出荷目安 メーカー在庫見込あり:1-3週間 ※出荷目安について

仕様

商品番号NEOBK-966279
JAN/ISBN 9784768703915
メディア 本/雑誌
販売現代数学社
ページ数 179

著者・出版社・関連アーティスト

関連記事

    収録内容

    1 不完全性定理とは何か
    2 形式的自然数論
    3 命題計算の無矛盾性
    4 命題計算の完全性
    5 述語計算の無矛盾性
    6 述語計算の完全性
    7 ゲーデルナンバリング
    8 証明の再帰性
    9 証明の数値的表現
    10 ゲーデル述語
    11 数学は矛盾している?
    12 自己言及と矛盾性

    カスタマーレビュー

    レビューはありません。 レビューを書いてみませんか?

    閉じる

    メール登録で関連商品の先行予約や最新情報が受信できます

    close

    最近チェックした商品