大分県立図書館 蔵書検索
県立図書館ホームページへ
蔵書検索トップ
詳細検索
ブックリスト
Myライブラリ
レファレンス
機能紹介
検索結果一覧
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
本サイトではCookieを使用しています。ブラウザの設定でCookieを有効にしてください。
資料詳細
詳細検索
ジャンル検索
検索条件
個人件名
木村伊兵衛
ハイライト
ON
OFF
一覧へ戻る
1 件中、 1 件目
ゲーデルに挑む
貸出可
田中 一之/著 -- 東京大学出版会 -- 2012.4 -- 410.9
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
一般
一般資料室
410.9/2012/
00012485769
和書
帯出可
在庫
ページの先頭へ
資料詳細
タイトル
ゲーデルに挑む ,
書名ヨミ
ゲーデル ニ イドム
副書名
証明不可能なことの証明
著者
田中 一之
/著
著者名ヨミ
タナカ,カズユキ
出版者
東京大学出版会
出版年
2012.4
ページ数, 大きさ
8,177p, 21cm
NDC10版
410.9
NDC8版
410.9
一般件名
不完全性定理
ISBN
978-4-13-063900-2
著者紹介
1955年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ph.D.。著書に「数の体系と超準モデル」など。
内容紹介
「不完全性定理」として広く知られているロジックの基本的事実について、ゲーデルがはじめてその発見を公表した論文を数学的に正しく味読するためのガイドブック。
ページの先頭へ