青森県立図書館
>読み上げ・色変換・文字サイズ
>閉じる
トップメニュー
資料検索
資料紹介
お知らせ一覧
Myライブラリ
トップメニュー
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
よくある検索
1 件中、 1 件目
不完全性定理とはなにか
竹内 薫/著 -- 講談社 -- 2013.4 -- 410.9
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
県立
集密2(X42)
主配架/410.9/タケウチ*カ/
10214392203
一般図書
書架
ページの先頭へ
資料詳細
タイトル
不完全性定理とはなにか
副書名
ゲーデルとチューリングの考えたこと
叢書名
ブルーバックス
著者
竹内 薫
/著
出版者
講談社
出版年
2013.4
ページ数
246p
大きさ
18cm
一般件名
不完全性定理
NDC分類(9版)
410.9
内容紹介
真な命題は必ず証明できるはずだと考えていた数学界に大きな衝撃を与えた「不完全性定理」。「証明が不可能であることを証明する」という難題を解決した2人の天才ゲーデルとチューリングの考えと不完全性定理を紐解く。
ISBN
4-06-257810-3
ISBN13桁
978-4-06-257810-3
ページの先頭へ