検索結果書誌詳細

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

蔵書情報

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

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

書誌情報サマリ

書名

ゲーデル不完全性発見への道　

著者名 北田 均／著
著者名ヨミ キタダ ヒトシ
出版者 現代数学社
出版年月 2011.5

この資料に対する操作

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

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

この資料に対する操作

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

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

資料情報

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

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

書誌詳細

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

タイトルコード 1000002196438
書誌種別 図書
書名 ゲーデル不完全性発見への道　
書名ヨミ ゲーデル フカンゼンセイ ハッケン エノ ミチ
叢書名 双書・大数学者の数学
叢書番号 6
言語区分 日本語
著者名 北田 均／著
著者名ヨミ キタダ ヒトシ
出版地 京都
出版者 現代数学社
出版年月 2011.5
本体価格 ￥１８００
ISBN 978-4-7687-0391-5
ISBN 4-7687-0391-5
数量 5,179p
大きさ 19cm
分類記号 410.9
件名 不完全性定理
注記 文献:p171～174
内容紹介 ヒルベルトの提唱した形式主義を概観したのち命題論理・述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べ、ゲーデルの証明に潜む暗黙の仮定に迫る。『理系への数学』連載を書籍化。



内容細目

関連資料

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

2011
【房総に息づく出羽三山信仰の諸相】 房総に息づく出羽三山信仰の諸相
對馬郁夫／著 【菜食主義者】 菜食主義者
ハン ガン／著,… 【データ同化入門　：　次世代のシミュ…】 データ同化入門　：　次世代のシミュ…
樋口 知之／編著… 【高齢者のためのかみやすく、飲み込み…】 高齢者のためのかみやすく、飲み込み…
武蔵 裕子／料理… 【地域資源を守っていかすエコツーリズ…】 地域資源を守っていかすエコツーリズ…
敷田 麻実／編著… 【伊勢神宮と出雲大社　：　図解　：　…】 伊勢神宮と出雲大社　：　図解　：　…
三橋 健／監修 【はじめてのにほんちずえほん】 はじめてのにほんちずえほん
てづか あけみ／… 【観光まちおこしに成功する秘訣　：　…】 観光まちおこしに成功する秘訣　：　…
渡辺 千賀恵／著 【地域の産業・文化と観光まちづくり　…】 地域の産業・文化と観光まちづくり　…
古池 嘉和／著 【なぞなぞのみせ】 なぞなぞのみせ
石津 ちひろ／な… 【カウンセリング心理学ハンドブッ…上巻】 カウンセリング心理学ハンドブッ…上巻
楡木 満生／編,… 【パパ・カレー】 パパ・カレー
武田 美穂／作 【干潟のサバイバル　：　生き残り作…2】 干潟のサバイバル　：　生き残り作…2
ゴムドリco.／… 【干潟のサバイバル　：　生き残り作…1】 干潟のサバイバル　：　生き残り作…1
ゴムドリco.／… 【くるまかします】 くるまかします
鈴木 まもる／作… 【ケアする人も楽になる認知…BOOK1】 ケアする人も楽になる認知…BOOK1
伊藤 絵美／著 【腰痛のナゼとナゾ　：　“治らない”…】 腰痛のナゼとナゾ　：　“治らない”…
菊地 臣一／著 【世界地理】 世界地理
田邉 裕／監修 【新幹線・特急1000　：　全国名車…】 新幹線・特急1000　：　全国名車…
 【世界を知る101冊　：　科学から何…】 世界を知る101冊　：　科学から何…
海部 宣男／著 【Jr.日本の歴史5】 Jr.日本の歴史5
平川 南／編集委… 【総合百科事典ポプラディア6】 総合百科事典ポプラディア6
 【古寺炎上】 古寺炎上
司馬 遼太郎／著 【これだけは知っておきたい公用文の書…】 これだけは知っておきたい公用文の書…
渡辺 秀喜／著 【租税法】 租税法
水野 忠恒／著 【人体のサバイバル　：　生き残り作…2】 人体のサバイバル　：　生き残り作…2
ゴムドリco.／… 【バムとケロのもりのこや】 バムとケロのもりのこや
島田 ゆか／作 … 【ウェットウェア　：　単細胞は生きた…】 ウェットウェア　：　単細胞は生きた…
デニス・ブレイ／… 【ロジャーズ クライエント中心療法　…】 ロジャーズ クライエント中心療法　…
佐治 守夫／編,… 【人体のサバイバル　：　生き残り作…3】 人体のサバイバル　：　生き残り作…3
ゴムドリco.／… 【Q&A遺留分の実務】 Q&A遺留分の実務
愛知県弁護士会法… 【はじめてのうちゅうえほん】 はじめてのうちゅうえほん
てづか あけみ／… 【グレッグのダメ日記 どうかしてるよ…】 グレッグのダメ日記 どうかしてるよ…
ジェフ・キニー／… 【カラフル】 カラフル
森 絵都／著 【黒ネコジェニーのおはなし1】 黒ネコジェニーのおはなし1
エスター・アベリ… 【ザ・ジェット・エンジン】 ザ・ジェット・エンジン
Rolls‐Ro… 【共立講座21世紀の数学13】 共立講座21世紀の数学13
木村 俊房／[ほ… 【心理学ワールド　：　50号刊行記念…】 心理学ワールド　：　50号刊行記念…
日本心理学会／編 【元素の分析】 元素の分析
日本分析化学会／… 【図説やさしい建築数学】 図説やさしい建築数学
今村 仁美／著,…
410.9
【ヤング盤の組合せ論　：　非可換シュ…】 ヤング盤の組合せ論　：　非可換シュ…
岩尾 慎介／著 【団代数論の基礎】 団代数論の基礎
中西 知樹／著 【組合せ論トレイル】 組合せ論トレイル
山田 裕史／著 【組合せ論プロムナード】 組合せ論プロムナード
山田 裕史／著 【離散数学　：　コンピュータサイエン…】 離散数学　：　コンピュータサイエン…
Seymour … 【記述集合論要説】 記述集合論要説
田中 尚夫／著 【ポール・エルデス:離散数学の魅力　…】 ポール・エルデス:離散数学の魅力　…
VAŠEK CH… 【バナッハ-タルスキーのパラドックス】 バナッハ-タルスキーのパラドックス
Grzegorz… 【計算理論と数理論理学】 計算理論と数理論理学
田中 一之／著 【線形代数と数え上げ】 線形代数と数え上げ
高崎 金久／著 【組合せ論の発見　：　古代から現代へ】 組合せ論の発見　：　古代から現代へ
Robin Wi… 【数学基礎論】 数学基礎論
新井 敏康／著 【AI時代の離散数学】 AI時代の離散数学
茨木 俊秀／著 【論理と集合　：　数学を理解するため…】 論理と集合　：　数学を理解するため…
辻 一夫／著 【スマリヤン不完全性定理】 スマリヤン不完全性定理
Raymond … 【「ラフ集合理論」入門　：　“粗い…2】 「ラフ集合理論」入門　：　“粗い…2
赤間 世紀／著 【「ラフ集合理論」入門　：　“粗い…1】 「ラフ集合理論」入門　：　“粗い…1
赤間 世紀／著 【ヴァン・リント&ウィルソン組合せ…下】 ヴァン・リント&ウィルソン組合せ…下
J.H.ヴァン・… 【数論・論理・意味論その原型と展開　…】 数論・論理・意味論その原型と展開　…
野本 和幸／著 【ヤング・タブロー　：　表現論と幾何…】 ヤング・タブロー　：　表現論と幾何…
W.フルトン／著… 【ファジィ集合最適化】 ファジィ集合最適化
金 正道／著 【逆数学　：　定理から公理を「証明」…】 逆数学　：　定理から公理を「証明」…
ジョン・スティル… 【ヴァン・リント&ウィルソン組合せ…上】 ヴァン・リント&ウィルソン組合せ…上
J.H.ヴァン・… 【離散数学】 離散数学
陳 慰／共著,和… 【数学基礎論】 数学基礎論
前原 昭二／著,… 【キューネン数学基礎論講義】 キューネン数学基礎論講義
ケネス・キューネ… 【代数的組合せ論入門】 代数的組合せ論入門
坂内 英一／著,… 【ヘルマン・ヴァイル連続体　：　解析…】 ヘルマン・ヴァイル連続体　：　解析…
ヘルマン・ヴァイ… 【あいまいさの数理】 あいまいさの数理
遠藤 靖典／著 【不完全性定理】 不完全性定理
菊池 誠／著 【今度こそわかるP≠NP予想】 今度こそわかるP≠NP予想
渡辺 治／著 【離散構造】 離散構造
小島 定吉／著 【集合論・入門　：　無限への誘い】 集合論・入門　：　無限への誘い
上江洲 忠弘／著 【数学は無限を創る】 数学は無限を創る
リリアン・R.リ… 【公理と証明　：　証明論への招待】 公理と証明　：　証明論への招待
彌永 昌吉／著,… 【すうがくと友だちになる物語2】 すうがくと友だちになる物語2
小島 寛之／著,… 【はじめての集合と位相】 はじめての集合と位相
大田 春外／著 【すうがくと友だちになる物語1】 すうがくと友だちになる物語1
小島 寛之／著,… 【線形代数と数え上げ】 線形代数と数え上げ
高崎 金久／著 【パラドクスの教室　：　日本一わかり…】 パラドクスの教室　：　日本一わかり…
富永 裕久／著
前のページへ
トップページへ

本文はここまでです。

ページの終わりです。