検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます

書誌情報サマリ

書名

山の上のロジック学園 不完全性定理をめぐる2週間の授業日誌

著者名 田中 一之／著
著者名ヨミ タナカ カズユキ
出版者 日本評論社
出版年月 2019.12

蔵書情報

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

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

この資料に対する操作

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

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

この資料に対する操作

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

マイ本棚へ追加ログインするとマイ本棚を利用できます。

書誌詳細

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

タイトルコード 1000050279447
書誌種別 図書
書名 山の上のロジック学園 不完全性定理をめぐる2週間の授業日誌
書名ヨミ ヤマ ノ ウエ ノ ロジック ガクエン フカンゼンセイ テイリ オ メグル ニシュウカン ノ ジュギョウ ニッシ
著者名 田中 一之／著 　 バラマツ ヒトミ／絵
著者名ヨミ タナカ カズユキ　バラマツ ヒトミ
出版者 日本評論社
出版年月 2019.12
ページ数・枚数 4,242p
大きさ・形態 21cm
ISBN 978-4-535-78913-5
分類記号 410.9
内容紹介 ロジック学園で行われる2週間の特別入門授業。入門生たちはロジックの理解を目指し奮闘するが、最終日に衝撃的な出来事が…。物語を通して「ゲーデルの不完全性定理」などを理解できる一冊。『数学セミナー』連載を書籍化。
著者紹介 カリフォルニア大学バークレー校Ph.D.。東北大学大学院理学研究科数学専攻教授。著書に「数学基礎論序説」など。
件名1 不完全性定理



目次


内容細目

資料情報

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

No. 所蔵館資料番号請求記号資料種別配架場所帯出区分状態 貸出
1 東板橋0712041134Y41//図書一般開架貸出可在庫　  ○

関連資料

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

2019
ぼくはイエローでホワイトで、…[1] ぼくはイエローでホワイトで、…[1]
ブレイディみかこ… かいけつゾロリスターたんじょう かいけつゾロリスターたんじょう
原 ゆたか／さく… FACTFULNESS　：　10の… FACTFULNESS　：　10の…
ハンス・ロスリン… かいけつゾロリうちゅう大さくせん かいけつゾロリうちゅう大さくせん
原 ゆたか／さく… さよならの儀式　：　8 Scien… さよならの儀式　：　8 Scien…
宮部 みゆき／著 大家さんと僕　：　これから 大家さんと僕　：　これから
矢部 太郎／著 アンパンマンとだだんだん アンパンマンとだだんだん
やなせ たかし／… ころべばいいのに ころべばいいのに
ヨシタケ シンス… あらいぐまのせんたくもの あらいぐまのせんたくもの
大久保 雨咲／作… チョコレートのひみつ チョコレートのひみつ
春野 まこと／ま… アンパンマンともぐりん アンパンマンともぐりん
やなせ たかし／… アンパンマンとみえないまん アンパンマンとみえないまん
やなせ たかし／… おしりたんてい ラッキーキャットは… おしりたんてい ラッキーキャットは…
トロル／さく・え なんだろうなんだろう なんだろうなんだろう
ヨシタケ シンス… 牛乳のひみつ 牛乳のひみつ
深草 あざみ／ま… 瞬間的シックスセンス 瞬間的シックスセンス
あいみょん／Ｖ どろだんご、さいた どろだんご、さいた
中住 千春／作,… ふしぎ駄菓子屋銭天堂11 ふしぎ駄菓子屋銭天堂11
廣嶋 玲子／作,… ガムのひみつ ガムのひみつ
マンガデザイナー… さかながはねて さかながはねて
中川 ひろたか／… 黒武御神火御殿　：　三島屋変調百物… 黒武御神火御殿　：　三島屋変調百物…
宮部 みゆき／著 58歳から日々を大切に小さく暮らす 58歳から日々を大切に小さく暮らす
ショコラ／著 すべりだい すべりだい
新井 洋行／作・… 老人初心者の覚悟 老人初心者の覚悟
阿川 佐和子／著 危険なビーナス 危険なビーナス
東野 圭吾／[著… おもちさんがね… おもちさんがね…
とよた かずひこ… こども六法 こども六法
山崎 聡一郎／著… 検事の信義 検事の信義
柚月 裕子／著 真珠のひみつ 真珠のひみつ
おぎの ひとし／… むらさきのスカートの女 むらさきのスカートの女
今村 夏子／著 お肉のひみつ お肉のひみつ
大岩 ピュン／ま… ながーい5ふん みじかい5ふん ながーい5ふん みじかい5ふん
リズ・ガートン・… ツナグ　：　想い人の心得 ツナグ　：　想い人の心得
辻村 深月／著 雷のひみつ 雷のひみつ
こめ助／まんが こんどこそは名探偵 こんどこそは名探偵
杉山 亮／作,中… とんたんイスたん とんたんイスたん
新井 洋行／作・… おばあちゃん、ぼくにできることある… おばあちゃん、ぼくにできることある…
ジェシカ・シェパ… いらっしゃい いらっしゃい
せな けいこ／さ… のりまき のりまき
小西 英子／さく くまくまパン いちにちパンやさん くまくまパン いちにちパンやさん
西村 敏雄／作 medium　：　霊媒探偵城塚翡翠 medium　：　霊媒探偵城塚翡翠
相沢 沙呼／著 しょうがくせいのおばけずかん　：　… しょうがくせいのおばけずかん　：　…
斉藤 洋／作,宮… おしりたんてい かいとうとねらわれ… おしりたんてい かいとうとねらわれ…
トロル／さく・え わたしのわごむはわたさない わたしのわごむはわたさない
ヨシタケ シンス… 「大家さんと僕」と僕 「大家さんと僕」と僕
矢部 太郎／ほか… メガネと視力のひみつ メガネと視力のひみつ
ひろ ゆうこ／ま… ゲーム&クリエイター パソ… ゲーム&クリエイター パソ…
マンガデザイナー… おしりたんてい カレーなるじけん おしりたんてい カレーなるじけん
トロル／さく・え 研究って楽しい　：　探究心の育て方 研究って楽しい　：　探究心の育て方
関 和之／マンガ… アッチとドッチのフルーツポンチ アッチとドッチのフルーツポンチ
角野 栄子／さく…
410.9　410.9
無限とはなんだろう　：　限りなく多… 無限とはなんだろう　：　限りなく多…
玉野 研一／著 よくわかるデジタル数学　：　離散数… よくわかるデジタル数学　：　離散数…
阿部 圭一／著 スマリヤン不完全性定理 スマリヤン不完全性定理
Raymond … 離散数学入門　：　整数の誕生から「… 離散数学入門　：　整数の誕生から「…
芳沢 光雄／著 ヴァン・リント&ウィルソ…下 ヴァン・リント&ウィルソ…下
J.H.ヴァン・… イラストで学ぶ離散数学 イラストで学ぶ離散数学
伊藤 大雄／著 可換代数と組合せ論 可換代数と組合せ論
日比 孝之／著,… ヤング・タブロー　：　表現論と幾何… ヤング・タブロー　：　表現論と幾何…
W.フルトン／著… 逆数学　：　定理から公理を「証明」… 逆数学　：　定理から公理を「証明」…
ジョン・スティル… 組合せ数学 組合せ数学
ロビン・ウィルソ… 集合・位相入門 集合・位相入門
松坂 和夫／著 無限 無限
イアン・スチュア… 離散数学「ものを分ける理論」　：　… 離散数学「ものを分ける理論」　：　…
徳田 雄洋／著 「集合と位相」をなぜ学ぶのか　：　… 「集合と位相」をなぜ学ぶのか　：　…
藤田 博司／著 ヴァン・リント&ウィルソ…上 ヴァン・リント&ウィルソ…上
J.H.ヴァン・… 数学基礎論 数学基礎論
前原 昭二／著,… 集合・論理と位相 集合・論理と位相
新井 敏康／著 ヘルマン・ヴァイル連続体　：　解析… ヘルマン・ヴァイル連続体　：　解析…
ヘルマン・ヴァイ… 「P≠NP」問題　：　現代数学の超… 「P≠NP」問題　：　現代数学の超…
野崎 昭弘／著 「無限」に魅入られた天才数学者たち 「無限」に魅入られた天才数学者たち
アミール・D.ア… あいまいさの数理 あいまいさの数理
遠藤 靖典／著 今度こそわかるゲーデル不完全性定理 今度こそわかるゲーデル不完全性定理
本橋 信義／[著… 絵解きパラドックス　：　思考の迷宮… 絵解きパラドックス　：　思考の迷宮…
高橋 昌一郎／監… 石取りゲームの数学　：　ゲームと代… 石取りゲームの数学　：　ゲームと代…
佐藤 文広／著 集合論入門 集合論入門
赤 攝也／著 13歳の娘に語るアルキメデスの無限… 13歳の娘に語るアルキメデスの無限…
金 重明／著 不完全性定理とはなにか　：　ゲーデ… 不完全性定理とはなにか　：　ゲーデ…
竹内 薫／著 なっとくする集合・位相 なっとくする集合・位相
瀬山 士郎／[著… 数学は無限を創る 数学は無限を創る
リリアン・R.リ… 不可能、不確定、不完全　：　「でき… 不可能、不確定、不完全　：　「でき…
ジェイムズ・D.… すうがくと友だちになる物語2 すうがくと友だちになる物語2
小島 寛之／著,… 公理と証明　：　証明論への招待 公理と証明　：　証明論への招待
彌永 昌吉／著,… すうがくと友だちになる物語1 すうがくと友だちになる物語1
小島 寛之／著,… パラドクスの教室　：　日本一わかり… パラドクスの教室　：　日本一わかり…
富永 裕久／著 カントル神学的数学の原型 カントル神学的数学の原型
落合 仁司／著 ゲーデル不完全性発見への道 ゲーデル不完全性発見への道
北田 均／著 不可能、不確定、不完全　：　「でき… 不可能、不確定、不完全　：　「でき…
ジェイムズ・D.… バナッハ=タルスキの逆説　：　豆と… バナッハ=タルスキの逆説　：　豆と…
レナード・M.ワ… バナッハ-タルスキーのパラドックス バナッハ-タルスキーのパラドックス
砂田 利一／著 「無限」の考察 「無限」の考察
足立 恒雄／著,… 魅了する無限　：　アキレスは本当に… 魅了する無限　：　アキレスは本当に…
藤田 博司／著 離散数学「数え上げ理論」　：　「お… 離散数学「数え上げ理論」　：　「お…
野崎 昭弘／著 無限への飛翔　：　集合論の誕生 無限への飛翔　：　集合論の誕生
志賀 浩二／[著… ゲーデルと20世紀の論理学(ロジ…4 ゲーデルと20世紀の論理学(ロジ…4
田中 一之／編 無限のスーパーレッスン 無限のスーパーレッスン
木村 俊一／著 ゲーデルと20世紀の論理学(ロジ…3 ゲーデルと20世紀の論理学(ロジ…3
田中 一之／編 不完全性定理 不完全性定理
ゲーデル／[著]… 無限の話 無限の話
ジョン・D.バロ… 数学にときめくふしぎな無限　：　イ… 数学にときめくふしぎな無限　：　イ…
e-教室／編,新… なっとくする無限の話 なっとくする無限の話
玉野 研一／著
不完全性定理　記号論理学
数学教師が教えるやさしい論理学 数学教師が教えるやさしい論理学
涌井 良幸／著 スマリヤン不完全性定理 スマリヤン不完全性定理
Raymond … 論理と分析　：　文系のための記号論… 論理と分析　：　文系のための記号論…
金子 裕介／著 スマリヤン数理論理学講義下巻 スマリヤン数理論理学講義下巻
レイモンド・M.… はじめての数理論理学　：　証明を作… はじめての数理論理学　：　証明を作…
山田 俊行／著 「論理」を分析する 「論理」を分析する
八木沢 敬／著 記号論 記号論
吉田 夏彦／著 スマリヤン数理論理学講義上巻 スマリヤン数理論理学講義上巻
レイモンド・M.… 情報理論のための数理論理学 情報理論のための数理論理学
板井 昌典／著 現代数理論理学入門 現代数理論理学入門
J.N.クロスリ… 証明と論理に強くなる　：　論理式の… 証明と論理に強くなる　：　論理式の…
小島 寛之／著 集合・論理と位相 集合・論理と位相
新井 敏康／著 コンピュータは数学者になれるのか?… コンピュータは数学者になれるのか?…
照井 一成／著 今度こそわかる論理　：　数理論理学… 今度こそわかる論理　：　数理論理学…
本橋 信義／[著… 今度こそわかるゲーデル不完全性定理 今度こそわかるゲーデル不完全性定理
本橋 信義／[著… 論理学入門 論理学入門
丹治 信春／著 不完全性定理とはなにか　：　ゲーデ… 不完全性定理とはなにか　：　ゲーデ…
竹内 薫／著 数学的推論が世界を変える　：　金融… 数学的推論が世界を変える　：　金融…
小島 寛之／著 ゲーデル不完全性発見への道 ゲーデル不完全性発見への道
北田 均／著 論理学 論理学
平尾 始／著 数学嫌いのためのコンピュータ論理学… 数学嫌いのためのコンピュータ論理学…
マーティン・ディ… ゲーデルの哲学　：　不完全性定理と… ゲーデルの哲学　：　不完全性定理と…
高橋 昌一郎／著 ゲーデルの不完全性定理 ゲーデルの不完全性定理
レイモンド・スマ… 数理論理学入門 数理論理学入門
角田 譲／著 まるさんかく論理学 まるさんかく論理学
野崎 昭弘／著 線型論理入門 線型論理入門
竹内 外史／著 無限のパラドックス　：　パズルで学… 無限のパラドックス　：　パズルで学…
レイモンド・スマ… ゲーデルの謎を解く ゲーデルの謎を解く
林 晋／著 ゲーデル・不完全性定理　：　“理性… ゲーデル・不完全性定理　：　“理性…
吉永 良正／著 フレーゲ哲学論集 フレーゲ哲学論集
G.フレーゲ／著…
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。