検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
レファレンス情報は0件です

蔵書情報

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

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

書誌情報

書名

ゲーデルに挑む　証明不可能なことの証明　　　　

著者名 田中 一之／著
出版者 東京大学出版会
出版年月 2012.4

この資料に対する操作

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

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

  

この資料に対する操作

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

マイ本棚へ追加ログインメモ

資料情報

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

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0118990498410.9/ﾀ/１階図書室51A一般図書一般貸出在庫　  ○

関連資料

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

2012
【聖女の救済】 聖女の救済
東野 圭吾／著 【しろくまのパンツ】 しろくまのパンツ
tupera t… 【へんしんおんせん】 へんしんおんせん
あきやま ただし… 【おしりたんてい】 おしりたんてい
トロル／さく・え 【かいけつゾロリなぞのスパイとチョコ…】 かいけつゾロリなぞのスパイとチョコ…
原 ゆたか／さく… 【どんぐりむらのおまわりさん】 どんぐりむらのおまわりさん
なかや みわ／さ… 【オニじゃないよおにぎりだよ】 オニじゃないよおにぎりだよ
シゲタ サヤカ／… 【かいけつゾロリのメカメカ大さくせん】 かいけつゾロリのメカメカ大さくせん
原 ゆたか／さく… 【ロボット世界のサバイバル　：　生…1】 ロボット世界のサバイバル　：　生…1
金 政郁／文,韓… 【アンパンマンとザジズゼゾウ】 アンパンマンとザジズゼゾウ
やなせ たかし／… 【ツナグ】 ツナグ
辻村 深月／著 【深海のサバイバル　：　生き残り作戦】 深海のサバイバル　：　生き残り作戦
ゴムドリco.／… 【ピヨピヨハッピーバースデー】 ピヨピヨハッピーバースデー
工藤 ノリコ／著 【虚像の道化師】 虚像の道化師
東野 圭吾／著 【贖罪】 贖罪
湊 かなえ／著 【プラチナデータ】 プラチナデータ
東野 圭吾／[著… 【少女】 少女
湊 かなえ／著 【おばけのマールとおかしなとけいだい】 おばけのマールとおかしなとけいだい
なかい れい／え… 【よろしくともだち】 よろしくともだち
内田 麟太郎／作… 【ナミヤ雑貨店の奇蹟】 ナミヤ雑貨店の奇蹟
東野 圭吾／著 【おしりをしりたい】 おしりをしりたい
鈴木 のりたけ／… 【凍原　：　北海道警釧路方面本部刑事…】 凍原　：　北海道警釧路方面本部刑事…
桜木 紫乃／著 【おべんとう】 おべんとう
小西 英子／さく 【氷平線】 氷平線
桜木 紫乃／著 【禁断の魔術】 禁断の魔術
東野 圭吾／著 【ノラネコぐんだんパンこうじょう】 ノラネコぐんだんパンこうじょう
工藤 ノリコ／著 【チャレンジミッケ!9】 チャレンジミッケ!9
ウォルター・ウィ… 【ペネロペおねえさんになる】 ペネロペおねえさんになる
アン・グットマン… 【往復書簡】 往復書簡
湊 かなえ／[著… 【がたんごとんがたんごとんざぶんざぶ…】 がたんごとんがたんごとんざぶんざぶ…
安西 水丸／さく 【ずっとずっといっしょだよ】 ずっとずっといっしょだよ
宮西 達也／作絵 【そらのたび】 そらのたび
工藤 ノリコ／[… 【極寒のサバイバル　：　生き残り作戦】 極寒のサバイバル　：　生き残り作戦
洪 在徹／文,鄭… 【うそついちゃったねずみくん】 うそついちゃったねずみくん
なかえ よしを／… 【自然史ミュージアムのサバイバル　…2】 自然史ミュージアムのサバイバル　…2
ゴムドリco.／… 【おいもさんがね…】 おいもさんがね…
とよた かずひこ… 【何者】 何者
朝井 リョウ／著 【自然史ミュージアムのサバイバル　…1】 自然史ミュージアムのサバイバル　…1
ゴムドリco.／… 【独立記念日】 独立記念日
原田 マハ／著 【夏天の虹】 夏天の虹
高田 郁／著 【ちいさなちいさなまほうのおしろ】 ちいさなちいさなまほうのおしろ
さかい さちえ／… 【名探偵コナン理科ファイル太陽と月の…】 名探偵コナン理科ファイル太陽と月の…
青山 剛昌／原作… 【歪笑小説】 歪笑小説
東野 圭吾／著 【まわるおすし】 まわるおすし
長谷川 義史／作 【物語の迷路　：　アンデルセンから宮…】 物語の迷路　：　アンデルセンから宮…
香川 元太郎／作… 【ルルとララのしらたまデザート】 ルルとララのしらたまデザート
あんびる やすこ… 【どうぶつえんのおふろやさん】 どうぶつえんのおふろやさん
とよた かずひこ… 【火車】 火車
宮部 みゆき／著 【はむ・はたる　：　連作時代小説】 はむ・はたる　：　連作時代小説
西條 奈加／著 【鍵のない夢を見る】 鍵のない夢を見る
辻村 深月／著
2012
【聖女の救済】 聖女の救済
東野 圭吾／著 【しろくまのパンツ】 しろくまのパンツ
tupera t… 【へんしんおんせん】 へんしんおんせん
あきやま ただし… 【おしりたんてい】 おしりたんてい
トロル／さく・え 【かいけつゾロリなぞのスパイとチョコ…】 かいけつゾロリなぞのスパイとチョコ…
原 ゆたか／さく… 【どんぐりむらのおまわりさん】 どんぐりむらのおまわりさん
なかや みわ／さ… 【オニじゃないよおにぎりだよ】 オニじゃないよおにぎりだよ
シゲタ サヤカ／… 【かいけつゾロリのメカメカ大さくせん】 かいけつゾロリのメカメカ大さくせん
原 ゆたか／さく… 【ロボット世界のサバイバル　：　生…1】 ロボット世界のサバイバル　：　生…1
金 政郁／文,韓… 【アンパンマンとザジズゼゾウ】 アンパンマンとザジズゼゾウ
やなせ たかし／… 【ツナグ】 ツナグ
辻村 深月／著 【深海のサバイバル　：　生き残り作戦】 深海のサバイバル　：　生き残り作戦
ゴムドリco.／… 【ピヨピヨハッピーバースデー】 ピヨピヨハッピーバースデー
工藤 ノリコ／著 【虚像の道化師】 虚像の道化師
東野 圭吾／著 【贖罪】 贖罪
湊 かなえ／著 【プラチナデータ】 プラチナデータ
東野 圭吾／[著… 【少女】 少女
湊 かなえ／著 【おばけのマールとおかしなとけいだい】 おばけのマールとおかしなとけいだい
なかい れい／え… 【よろしくともだち】 よろしくともだち
内田 麟太郎／作… 【ナミヤ雑貨店の奇蹟】 ナミヤ雑貨店の奇蹟
東野 圭吾／著 【おしりをしりたい】 おしりをしりたい
鈴木 のりたけ／… 【凍原　：　北海道警釧路方面本部刑事…】 凍原　：　北海道警釧路方面本部刑事…
桜木 紫乃／著 【おべんとう】 おべんとう
小西 英子／さく 【氷平線】 氷平線
桜木 紫乃／著 【禁断の魔術】 禁断の魔術
東野 圭吾／著 【ノラネコぐんだんパンこうじょう】 ノラネコぐんだんパンこうじょう
工藤 ノリコ／著 【チャレンジミッケ!9】 チャレンジミッケ!9
ウォルター・ウィ… 【ペネロペおねえさんになる】 ペネロペおねえさんになる
アン・グットマン… 【往復書簡】 往復書簡
湊 かなえ／[著… 【がたんごとんがたんごとんざぶんざぶ…】 がたんごとんがたんごとんざぶんざぶ…
安西 水丸／さく 【ずっとずっといっしょだよ】 ずっとずっといっしょだよ
宮西 達也／作絵 【そらのたび】 そらのたび
工藤 ノリコ／[… 【極寒のサバイバル　：　生き残り作戦】 極寒のサバイバル　：　生き残り作戦
洪 在徹／文,鄭… 【うそついちゃったねずみくん】 うそついちゃったねずみくん
なかえ よしを／… 【自然史ミュージアムのサバイバル　…2】 自然史ミュージアムのサバイバル　…2
ゴムドリco.／… 【おいもさんがね…】 おいもさんがね…
とよた かずひこ… 【何者】 何者
朝井 リョウ／著 【自然史ミュージアムのサバイバル　…1】 自然史ミュージアムのサバイバル　…1
ゴムドリco.／… 【独立記念日】 独立記念日
原田 マハ／著 【夏天の虹】 夏天の虹
高田 郁／著 【ちいさなちいさなまほうのおしろ】 ちいさなちいさなまほうのおしろ
さかい さちえ／… 【名探偵コナン理科ファイル太陽と月の…】 名探偵コナン理科ファイル太陽と月の…
青山 剛昌／原作… 【歪笑小説】 歪笑小説
東野 圭吾／著 【まわるおすし】 まわるおすし
長谷川 義史／作 【物語の迷路　：　アンデルセンから宮…】 物語の迷路　：　アンデルセンから宮…
香川 元太郎／作… 【ルルとララのしらたまデザート】 ルルとララのしらたまデザート
あんびる やすこ… 【どうぶつえんのおふろやさん】 どうぶつえんのおふろやさん
とよた かずひこ… 【火車】 火車
宮部 みゆき／著 【はむ・はたる　：　連作時代小説】 はむ・はたる　：　連作時代小説
西條 奈加／著 【鍵のない夢を見る】 鍵のない夢を見る
辻村 深月／著
410.9　410.9
【不完全性定理とはなにか　：　ゲーデ…】 不完全性定理とはなにか　：　ゲーデ…
竹内 薫／著 【現代数学はじめの一歩集合と位相　：…】 現代数学はじめの一歩集合と位相　：…
瀬山 士郎／著 【無限とはなんだろう　：　限りなく多…】 無限とはなんだろう　：　限りなく多…
玉野 研一／著 【組合せ論の発見　：　古代から現代へ】 組合せ論の発見　：　古代から現代へ
Robin Wi… 【知の限界】 知の限界
グレゴリー・J.… 【数学の限界】 数学の限界
グレゴリー・J.… 【AI時代の離散数学】 AI時代の離散数学
茨木 俊秀／著 【離散数学入門　：　整数の誕生から「…】 離散数学入門　：　整数の誕生から「…
芳沢 光雄／著 【スマリヤン不完全性定理】 スマリヤン不完全性定理
Raymond … 【ヤング・タブロー　：　表現論と幾何…】 ヤング・タブロー　：　表現論と幾何…
W.フルトン／著… 【逆数学　：　定理から公理を「証明」…】 逆数学　：　定理から公理を「証明」…
ジョン・スティル… 【離散数学「ものを分ける理論」　：　…】 離散数学「ものを分ける理論」　：　…
徳田 雄洋／著 【「集合と位相」をなぜ学ぶのか　：　…】 「集合と位相」をなぜ学ぶのか　：　…
藤田 博司／著 【離散数学】 離散数学
陳 慰／共著,和… 【「P≠NP」問題　：　現代数学の超…】 「P≠NP」問題　：　現代数学の超…
野崎 昭弘／著 【「無限」に魅入られた天才数学者たち】 「無限」に魅入られた天才数学者たち
アミール・D.ア… 【証明の探究　：　高校編!　：　コミ…】 証明の探究　：　高校編!　：　コミ…
日比 孝之／原作… 【不完全性定理】 不完全性定理
菊池 誠／著 【石取りゲームの数学　：　ゲームと代…】 石取りゲームの数学　：　ゲームと代…
佐藤 文広／著 【集合論入門】 集合論入門
赤 攝也／著 【13歳の娘に語るアルキメデスの無限…】 13歳の娘に語るアルキメデスの無限…
金 重明／著 【無限と有限のあいだ】 無限と有限のあいだ
芳沢 光雄／著 【不完全性定理とはなにか　：　ゲーデ…】 不完全性定理とはなにか　：　ゲーデ…
竹内 薫／著 【これも数学だった!?　：　カーナビ…】 これも数学だった!?　：　カーナビ…
河原林 健一／著… 【数学は無限を創る】 数学は無限を創る
リリアン・R.リ… 【公理と証明　：　証明論への招待】 公理と証明　：　証明論への招待
彌永 昌吉／著,… 【パラドクスの教室　：　日本一わかり…】 パラドクスの教室　：　日本一わかり…
富永 裕久／著 【不可能、不確定、不完全　：　「でき…】 不可能、不確定、不完全　：　「でき…
ジェイムズ・D.… 【バナッハ-タルスキーのパラドックス】 バナッハ-タルスキーのパラドックス
砂田 利一／著 【「無限」の考察】 「無限」の考察
足立 恒雄／著,… 【魅了する無限　：　アキレスは本当に…】 魅了する無限　：　アキレスは本当に…
藤田 博司／著 【離散数学「数え上げ理論」　：　「お…】 離散数学「数え上げ理論」　：　「お…
野崎 昭弘／著 【無限への飛翔　：　集合論の誕生】 無限への飛翔　：　集合論の誕生
志賀 浩二／[著… 【無限のスーパーレッスン】 無限のスーパーレッスン
木村 俊一／著 【不完全性定理】 不完全性定理
ゲーデル／[著]… 【カントールの対角線論法　：　ミーた…】 カントールの対角線論法　：　ミーた…
市川 秀志／著 【無限の話】 無限の話
ジョン・D.バロ… 【数学にときめくふしぎな無限　：　イ…】 数学にときめくふしぎな無限　：　イ…
e-教室／編,新… 【集合論入門】 集合論入門
松村 英之／著 【パラドクス】 パラドクス
富永 裕久／著 【Ｅｖｅｒｙｔｈｉｎｇ　ａｎｄ　ｍｏ…】 Ｅｖｅｒｙｔｈｉｎｇ　ａｎｄ　ｍｏ…
Ｄａｖｉｄ　Ｆｏ… 【石とりゲームの数理】 石とりゲームの数理
一松 信／著 【集合論入門】 集合論入門
永田 雅宜／著 【逆説論理学】 逆説論理学
野崎 昭弘／著 【あの無限、この無限、どの無限?　：…】 あの無限、この無限、どの無限?　：…
吉田 武／著 【お話・数学基礎論　：　数学では必ず…】 お話・数学基礎論　：　数学では必ず…
八杉 満利子／著… 【「無限」に魅入られた天才数学者たち】 「無限」に魅入られた天才数学者たち
アミール・D.ア… 【なっとくする集合・位相】 なっとくする集合・位相
瀬山 士郎／著 【集合とはなにか　：　はじめて学ぶ人…】 集合とはなにか　：　はじめて学ぶ人…
竹内 外史／著 【パラドックスの面白さがわかる本　：…】 パラドックスの面白さがわかる本　：…
香川 知晶／著

書誌詳細

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

タイトルコード 1008000529820
書誌種別 図書
書名 ゲーデルに挑む　証明不可能なことの証明　　　　
書名ヨミ ゲーデル ニ イドム　
著者名 田中 一之／著
著者名ヨミ タナカ カズユキ
出版者 東京大学出版会
出版年月 2012.4
ページ数 8,177p
大きさ 21cm
分類記号 410.9
分類記号 410.9
ISBN 4-13-063900-2
内容紹介 「不完全性定理」として広く知られているロジックの基本的事実について、ゲーデルがはじめてその発見を公表した論文を数学的に正しく味読するためのガイドブック。
著者紹介 1955年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ph.D.。著書に「数の体系と超準モデル」など。
件名 不完全性定理
言語区分 日本語

(他の紹介)内容紹介 きょうだいとの和解への道に突き動かされた、夢みる詐欺師ヤコブ。しなやかに、かつしたたかに生きる、寄留の未亡人ルツとナオミ。「まよえる羊」に約束された、神の祝福のものがたり。わたしたちがふだん語り合うことばで説き明かされる聖書のことば。
(他の紹介)目次 １　ヤコブの物語（祝福はたった一つしかないのですか？―創世記二七・一八‐三八
あなたとあなたに続く者によって地上のすべての種族が祝福を得る―創世記二八・一〇‐一九
見る‐聞く‐結ばれる‐讃美する―創世記二九・三一‐三〇・二
問題だらけ、ああ素晴らしきかな人間性―創世紀三〇・一‐二四
わたしたちの物語と神の物語―創世記三一・一九‐四四
祝福をかけた格闘―創世記三二・二三‐三三
ふたたび兄の顔を見る―創世記三三・一‐一一）
２　ルツ記（「パンの家」の飢饉―ルツ記一・一‐六
求め‐顧み‐勇気を見出す―ルツ記一・六‐一四
前を志向する‐宗教改革を記念して―ヘブライ人への手紙一三・一四
恵みを見出し、恵みに生きる―ルツ記二・一‐一六
応答する責任、新しい人生―ルツ記二・一九‐二〇、三・一‐一三）


内容細目表

前のページへ
ページの先頭へ 図書館トップへ

本文はここまでです。

ページの終わりです。