愛知県図書館
トップメニュー
資料検索
資料紹介
Myライブラリ
トップメニュー
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
ジャンル検索
1 件中、 1 件目
ゲーデル不完全性発見への道
利用可
北田 均/著 -- 現代数学社 -- 2011.5 -- 410.9
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
場所
棚番号
請求記号
資料コード
貸出利用
状態
本館
4階自然
Map
11
/410.9/キタ/1019250
1110192507
閲可 貸可 協可
-
ページの先頭へ
資料詳細
タイトル
ゲーデル不完全性発見への道
叢書名
双書・大数学者の数学
著者
北田 均
/著
出版地
京都
出版者
現代数学社
出版年
2011.5
ページ数
5,179p
大きさ
19cm
書名注記
奥付のタイトル:不完全性発見への道
一般件名
不完全性定理
内容紹介
ヒルベルトの提唱した形式主義を概観したのち命題論理・述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べ、ゲーデルの証明に潜む暗黙の仮定に迫る。『理系への数学』連載を書籍化。
ISBN13桁
978-4-7687-0391-5
分類番号
410.9
ページの先頭へ
関連メディア
/T170P55044
ページの先頭へ