ゲーデル 不完全性発見への道(双書〈6〉―大数学者の数学) [単行本]
ショッピングカートに入れる

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

    • ￥1,98060 ゴールドポイント（3％還元）
    • お取り寄せ
ゲーデル 不完全性発見への道(双書〈6〉―大数学者の数学) [単行本]
100000009001043992

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

価格：￥1,980（税込）
ゴールドポイント：60 ゴールドポイント（3％還元）（￥60相当）
お届け日：お取り寄せこの商品は、日時を指定できません。［届け先変更］詳しくはこちら
出版社：現代数学社
販売開始日： 2011/05/26
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

カテゴリランキング

店舗受け取りが可能です
マルチメディアAkiba、マルチメディア梅田、マルチメディア博多にて24時間営業時間外でもお受け取りいただけるようになりました

お客様へのおすすめ【PR】

ゲーデル 不完全性発見への道(双書〈6〉―大数学者の数学) の 商品概要

  • 目次(「BOOK」データベースより）

    不完全性定理とは何か
    形式的自然数論
    命題計算の無矛盾性
    命題計算の完全性
    述語計算の無矛盾性
    述語計算の完全性
    ゲーデルナンバリング
    証明の再帰性
    証明の数値的表現
    ゲーデル述語
    数学は矛盾している？
    自己言及と矛盾性

  • 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

    北田 均(キタダ ヒトシ)
    １９７３年東京大学理学部数学科卒業。１９７９年理学博士。現在、東京大学大学院数理科学研究科准教授

ゲーデル 不完全性発見への道(双書〈6〉―大数学者の数学) の商品スペック

商品仕様
出版社名：現代数学社　※出版地:京都
著者名：北田 均（著）
発行年月日：2011/05/16
ISBN-10：4768703917
ISBN-13：9784768703915
判型：B6
対象：専門
発行形態：単行本
内容：数学
ページ数：179ページ
縦：19cm
他の現代数学社の書籍を探す

    現代数学社 ゲーデル 不完全性発見への道(双書〈6〉―大数学者の数学) [単行本] に関するレビューとＱ＆Ａ

    商品に関するご意見やご感想、購入者への質問をお待ちしています！