東京農業大学　生物産業学部図書館
OPACトップへ MyOPACへログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス 利用者サービス ▼
    • 利用者登録情報照会
    • ブックマーク
    • お気に入り検索
    • 新着アラート
    • 学外文献複写申込
    • 学外文献借用申込

東京農業大学　生物産業学部図書館

検索結果一覧へ戻る

不完全性定理とはなにか : ゲーデルとチューリングの考えたこと

竹内薫著. -- 講談社, 2013. -- (ブルーバックス ; B-1810). <BB10143117>
便利機能：
詳細情報を見る
この書誌へのURL：

不完全性定理とはなにか : ゲーデルとチューリングの考えたこと

竹内薫著. -- 講談社, 2013. -- (ブルーバックス ; B-1810). <BB10143117>
便利機能：
詳細情報を見る
この書誌へのURL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻冊次等 所蔵館 配置場所 資料ID 請求記号 禁帯出区分 状態 返却期限日 予約件数
0001 生産図 １Ｆ小型第二 7388278 410.96||Ta67 帯出可 整理済 0件
No. 0001
巻冊次等
所蔵館 生産図
配置場所 １Ｆ小型第二
資料ID 7388278
請求記号 410.96||Ta67
禁帯出区分 帯出可
状態 整理済
返却期限日
予約件数 0件
このページのTOPへ

書誌詳細

標題および責任表示 不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
フカンゼンセイ テイリ トワ ナニ カ : ゲーデル ト チューリング ノ カンガエタ コト
出版・頒布事項 東京 : 講談社 , 2013.4
形態事項 246p : 挿図, 肖像 ; 18cm
巻号情報
国際標準図書番号 9784062578103
書誌構造リンク ブルーバックス||ブルー バックス <BB00011301> B-1810//a
その他の標題 異なりアクセスタイトル:不完全性定理とはなにか
フカンゼンセイ テイリ トワ ナニカ
要約 真な命題は必ず証明で きるはずだと考えていた数学界に大きな衝撃を与えた「不完全性定理」。「証明が不可能であることを証明する」という難 題を解決した2人の天才ゲーデルとチューリングの考えと不完全性定理を紐解く。
注記 読書案内: p231-240
学情ID BB12229644
本文言語コード 日本語
著者標目リンク 竹内, 薫(1960-)||タケウチ, カオル <AU10017451>
分類標目 数学 NDC8:410.96
件名標目等 記号論理学||キゴウロンリガク
件名標目等 ゲーデルの定理||ゲーデルノテイリ
件名標目等 Turing, Alan Mathison(1912-1954)
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    全国の大学図書館等を検索

    資料を取り寄せる

    • 学外文献複写申込(コピー取り寄せ)
    • 学外文献借用申込(現物借用)

    この書誌のQRコード