検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

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

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

書誌情報サマリ

書名

ゲーデルの定理　

著者名 トルケル・フランセーン／[著]
著者名ヨミ トルケル フランセーン
出版者 みすず書房
出版年月 2011.3

この資料に対する操作

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

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

この資料に対する操作

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

登録するリストログインメモ

資料情報

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

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 東部図書館一般開架4109/16/2102415860一般在庫 可 ○

書誌詳細

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

タイトルコード 1000002179007
書誌種別 図書
書名 ゲーデルの定理　
書名ヨミ ゲーデル ノ テイリ
利用と誤用の不完全ガイド
言語区分 日本語
著者名 トルケル・フランセーン／[著] 　 田中 一之／訳
著者名ヨミ トルケル フランセーン　タナカ カズユキ
著者名原綴 Franzen Torkel
出版地 東京
出版者 みすず書房
出版年月 2011.3
本体価格 ￥３５００
ISBN 978-4-622-07569-1
ISBN 4-622-07569-1
数量 241p
大きさ 22cm
分類記号 410.9
件名 不完全性定理
注記 原タイトル:Godel's theorem
注記 文献:p226～228
内容紹介 「汲めども尽きぬ知的濫用の泉である」と言われるゲーデルの不完全性定理。「革命」ばかりが語られてきたこの定理について、本来の定理としての醍醐味を紹介するとともに、数々の誤用例を素材に、定理の射程を明らかにする。
著者紹介 1950～2006年。87年学位論文「証明可能性と真理」でストックホルム大学よりPh.D.(哲学)取得。ルレオ工科大学計算機科学・電子工学科に講師として勤めプログラミングを教えた。



内容細目

関連資料

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

2011
【なぞなぞのみせ】 なぞなぞのみせ
石津 ちひろ／な… 【脳科学の教科書神経編】 脳科学の教科書神経編
理化学研究所脳科… 【外来生物　：　生物多様性と人間社会…】 外来生物　：　生物多様性と人間社会…
西川 潮／編著,… 【干潟のサバイバル　：　生き残り作…2】 干潟のサバイバル　：　生き残り作…2
ゴムドリco.／… 【新幹線しゅっぱつ!】 新幹線しゅっぱつ!
鎌田 歩／作 【カウンセリング心理学ハンドブッ…上巻】 カウンセリング心理学ハンドブッ…上巻
楡木 満生／編,… 【人体のサバイバル　：　生き残り作…3】 人体のサバイバル　：　生き残り作…3
ゴムドリco.／… 【干潟のサバイバル　：　生き残り作…1】 干潟のサバイバル　：　生き残り作…1
ゴムドリco.／… 【パパ・カレー】 パパ・カレー
武田 美穂／作 【はじめてのにほんちずえほん】 はじめてのにほんちずえほん
てづか あけみ／… 【くるまかします】 くるまかします
鈴木 まもる／作… 【人体のサバイバル　：　生き残り作…2】 人体のサバイバル　：　生き残り作…2
ゴムドリco.／… 【トラのじゅうたんになりたかったトラ】 トラのじゅうたんになりたかったトラ
ジェラルド・ロー… 【Q&A事業再生のための製造業の事業…】 Q&A事業再生のための製造業の事業…
正木 博夫／著,… 【サンカ学の過去・現在、そしてこれか…】 サンカ学の過去・現在、そしてこれか…
利田 敏／編著,… 【はじめてのせかいちずえほん】 はじめてのせかいちずえほん
てづか あけみ／… 【あいうえおおきなだいふくだ】 あいうえおおきなだいふくだ
たるいし まこ／… 【ばばばあちゃんのなんでもおこのみや…】 ばばばあちゃんのなんでもおこのみや…
さとう わきこ／… 【歌舞伎座さよなら公演　：　1…第8巻】 歌舞伎座さよなら公演　：　1…第8巻
 【歌舞伎座さよなら公演　：　1…第4巻】 歌舞伎座さよなら公演　：　1…第4巻
 【高齢者のためのかみやすく、飲み込み…】 高齢者のためのかみやすく、飲み込み…
武蔵 裕子／料理… 【ショック・ドクトリン　：　惨事便…下】 ショック・ドクトリン　：　惨事便…下
ナオミ・クライン… 【ザ・ジェット・エンジン】 ザ・ジェット・エンジン
Rolls‐Ro… 【共立講座21世紀の数学13】 共立講座21世紀の数学13
木村 俊房／[ほ… 【一生の図鑑】 一生の図鑑
阿部 和厚／[ほ… 【条解民事訴訟法】 条解民事訴訟法
兼子 一／原著,… 【日銀の政策形成　：　「議事録」等に…】 日銀の政策形成　：　「議事録」等に…
梅田 雅信／著 【バムとケロのもりのこや】 バムとケロのもりのこや
島田 ゆか／作 … 【歌舞伎座さよなら公演　：　1…第7巻】 歌舞伎座さよなら公演　：　1…第7巻
 【歌舞伎座さよなら公演　：　1…第6巻】 歌舞伎座さよなら公演　：　1…第6巻
 【歌舞伎座さよなら公演　：　1…第5巻】 歌舞伎座さよなら公演　：　1…第5巻
 【誤嚥性肺炎　：　抗菌薬だけに頼らな…】 誤嚥性肺炎　：　抗菌薬だけに頼らな…
藤谷 順子／編著… 【おおきいちいさい】 おおきいちいさい
元永 定正／さく 【王権と都市の形成史論】 王権と都市の形成史論
寺沢 薫／著 【ウェットウェア　：　単細胞は生きた…】 ウェットウェア　：　単細胞は生きた…
デニス・ブレイ／… 【発達科学ハンドブック3】 発達科学ハンドブック3
日本発達心理学会… 【Jr.日本の歴史5】 Jr.日本の歴史5
平川 南／編集委… 【房総半島2011】 房総半島2011
 【Look at me】 Look at me
Hunt Rod… 【ショック・ドクトリン　：　惨事便…上】 ショック・ドクトリン　：　惨事便…上
ナオミ・クライン…
410.9
【ポール・エルデス:離散数学の魅力　…】 ポール・エルデス:離散数学の魅力　…
VAŠEK CH… 【バナッハ-タルスキーのパラドックス】 バナッハ-タルスキーのパラドックス
Grzegorz… 【計算理論と数理論理学】 計算理論と数理論理学
田中 一之／著 【線形代数と数え上げ】 線形代数と数え上げ
高崎 金久／著 【組合せ論の発見　：　古代から現代へ】 組合せ論の発見　：　古代から現代へ
Robin Wi… 【数学基礎論】 数学基礎論
新井 敏康／著 【AI時代の離散数学】 AI時代の離散数学
茨木 俊秀／著 【論理と集合　：　数学を理解するため…】 論理と集合　：　数学を理解するため…
辻 一夫／著 【スマリヤン不完全性定理】 スマリヤン不完全性定理
Raymond … 【「ラフ集合理論」入門　：　“粗い…1】 「ラフ集合理論」入門　：　“粗い…1
赤間 世紀／著 【「ラフ集合理論」入門　：　“粗い…2】 「ラフ集合理論」入門　：　“粗い…2
赤間 世紀／著 【ヴァン・リント&ウィルソン組合せ…下】 ヴァン・リント&ウィルソン組合せ…下
J.H.ヴァン・… 【数論・論理・意味論その原型と展開　…】 数論・論理・意味論その原型と展開　…
野本 和幸／著 【ヤング・タブロー　：　表現論と幾何…】 ヤング・タブロー　：　表現論と幾何…
W.フルトン／著… 【ファジィ集合最適化】 ファジィ集合最適化
金 正道／著 【逆数学　：　定理から公理を「証明」…】 逆数学　：　定理から公理を「証明」…
ジョン・スティル… 【ヴァン・リント&ウィルソン組合せ…上】 ヴァン・リント&ウィルソン組合せ…上
J.H.ヴァン・… 【離散数学】 離散数学
陳 慰／共著,和… 【数学基礎論】 数学基礎論
前原 昭二／著,… 【キューネン数学基礎論講義】 キューネン数学基礎論講義
ケネス・キューネ… 【代数的組合せ論入門】 代数的組合せ論入門
坂内 英一／著,… 【ヘルマン・ヴァイル連続体　：　解析…】 ヘルマン・ヴァイル連続体　：　解析…
ヘルマン・ヴァイ… 【あいまいさの数理】 あいまいさの数理
遠藤 靖典／著 【不完全性定理】 不完全性定理
菊池 誠／著 【今度こそわかるP≠NP予想】 今度こそわかるP≠NP予想
渡辺 治／著 【離散構造】 離散構造
小島 定吉／著 【集合論・入門　：　無限への誘い】 集合論・入門　：　無限への誘い
上江洲 忠弘／著 【数学は無限を創る】 数学は無限を創る
リリアン・R.リ… 【すうがくと友だちになる物語2】 すうがくと友だちになる物語2
小島 寛之／著,… 【公理と証明　：　証明論への招待】 公理と証明　：　証明論への招待
彌永 昌吉／著,… 【はじめての集合と位相】 はじめての集合と位相
大田 春外／著 【すうがくと友だちになる物語1】 すうがくと友だちになる物語1
小島 寛之／著,… 【線形代数と数え上げ】 線形代数と数え上げ
高崎 金久／著 【パラドクスの教室　：　日本一わかり…】 パラドクスの教室　：　日本一わかり…
富永 裕久／著 【集合への入門　：　無限をかいま見る】 集合への入門　：　無限をかいま見る
福田 拓生／著 【ゲーデルに挑む　：　証明不可能なこ…】 ゲーデルに挑む　：　証明不可能なこ…
田中 一之／著 【カントル神学的数学の原型】 カントル神学的数学の原型
落合 仁司／著 【ゲームとパズルの計算量】 ゲームとパズルの計算量
ロバート・A.ハ… 【ベーテ仮説と組合せ論】 ベーテ仮説と組合せ論
国場 敦夫／著 【数学基礎論】 数学基礎論
新井 敏康／著
前のページへ
トップページへ

本文はここまでです。

ページの終わりです。