検索結果書誌詳細

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報

書名

ゲーデルに挑む 証明不可能なことの証明    

著者名 田中 一之/著
出版者 東京大学出版会
出版年月 2012.4


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


マイ本棚へ追加ログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0118990498410.9/タ/1階図書室51A一般図書一般貸出在庫  

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2012
410.9 410.9

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1008000492598
書誌種別 図書
書名 現代史のリテラシー 書物の宇宙    
書名ヨミ ゲンダイシ ノ リテラシー 
著者名 佐藤 卓己/著
著者名ヨミ サトウ タクミ
出版者 岩波書店
出版年月 2012.1
ページ数 12,252p
大きさ 20cm
分類記号 019.9
分類記号 019.9
ISBN 4-00-022785-8
内容紹介 現代とはいかなる時代か? 歴史学と社会学が出会う場所で、現代の輪郭が書物の宇宙の彼方に浮かび上がる。近現代史から同時代を理解するための確かな視座を提供する書評集。
著者紹介 1960年生まれ。京都大学博士(文学)。同大学大学院教育学研究科准教授。著書に「「キング」の時代」「言論統制」「輿論と世論」など。
件名 書評
言語区分 日本語
書評掲載紙 毎日新聞

(他の紹介)内容紹介 待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。
(他の紹介)目次 原論文訳・解説(体系P、ゲーデル数、再帰的関数
メタ数学の再帰的表現
第一不完全性定理
1階算術への還元
第二不完全性定理)
補遺(1階算術と論理式の階層
計算可能性理論
1階算術の形式体系
文献案内)


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。