感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

本のないよう

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 本のくわしいないようです。 この本は、今 0 人がよやくしています。
  • ・この本をよやくをするときは、「よやくカートに入れる」ボタンをクリックしてください。よやくするには、図書館がはっこうしたパスワードが必要です。
    ・「よやくカートに入れる」ボタンが出ないものはインターネットからよやくできません。

ぞうしょじょうほう

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

本のかず 1 ざいこのかず 1 よやくのかず 0

しょしじょうほうサマリ

本のだいめい

ゲーデルと20世紀の論理学(ロジック)　3 　不完全性定理と算術の体系

書いた人の名前 田中一之／編
しゅっぱんしゃ 東京大学出版会
しゅっぱんねんげつ 2007.03
本のきごう 4109/00022/３

この資料に対する操作

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

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

とうろくするほんだなログインすると、マイほんだながりようできます。

本のばしょ

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

No. としょかん 本のばんごう 本のしゅるい 本のばしょ くわしいばしょ せいげん じょうたい
1 鶴舞0235000957一般和書２階開架自然・工学在庫 

かんれんしりょう

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

Gödel,Kurt　数学基礎論-歴史　不完全性定理　算術

しょししょうさい

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

本のきごう 4109/00022/３
本のだいめい ゲーデルと20世紀の論理学(ロジック)　3 　不完全性定理と算術の体系
書いた人の名前 田中一之／編
しゅっぱんしゃ 東京大学出版会
しゅっぱんねんげつ 2007.03
ページすう 284p
おおきさ 22cm
かんしょめい 不完全性定理と算術の体系
ISBN 4-13-064097-6
ISBN 978-4-13-064097-8
ぶんるい 4109
いっぱんけんめい 数学基礎論-歴史 　 不完全性定理 　 算術
こじんけんめい Gödel,Kurt
本のしゅるい 一般和書
ないようちゅうき 文献:部末
タイトルコード 1009916084560

ようし ロジックに革命的転回をもたらした「ゲーデルの定理」その現代的証明と数学基礎論の新展開について解説する。
もくじ ゲーデルの不完全性定理とその背景
第１部　第一不完全性定理と第二不完全性定理（計算論
ペアノ算術
第一不完全性定理　ほか）
第２部　逆数学と２階算術（２階算術と部分体系
数学の展開と逆数学
逆数学周辺）
第３部　ダイアレクティカ解釈（ダイアレクティカ解釈の背景
ダイアレクティカ解釈の概要
ダイアレクティカ解釈の展開）


ないよう細目表：

前のページへ
ページのせんとうへ トップページへ

本文はここまでです。

ページの終わりです。