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

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

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

田中一之

5.0 / 5.0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。

Kategori:

Mathematics - Logic

Tahun:

2012

Edisi:

1

Penerbit:

東京大学出版会

Bahasa:

japanese

Halaman:

177

ISBN 10:

4130639005

ISBN 13:

9784130639002

File:

PDF, 37.57 MB

IPFS:

,

japanese, 2012

Mengunduh (pdf, 37.57 MB)

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

Michael L.G. Redhead,マイケルレッドヘッド,石垣寿郎 — 不完全性・非局所性・実在主義―量子力学の哲学序説

竹内外史 — 数学基礎論増補版

前原昭二 — 記号論理入門

Howard Jerome Keisler,キースラー,斎藤正彦 — 無限小解析の基礎微積分の新手法

和田秀男 — 数の世界整数論への道

Torkel Franzen,トルケル・フランセーン, 田中一之 — ゲーデルの定理利用と誤用の不完全ガイド

松坂和夫 — 線型代数入門

田坂隆士 — 2次形式 I, II

永井均 — 改訂版なぜ意識は実在しないのか

Czes Kosniowski,クゼ・コスニオフスキ, 加藤十吉 — トポロジー入門

斎藤毅 — 集合と位相

今野宏 — 微分幾何学

田中一之 — ゲーデルと20世紀の論理学 1 : ゲーデルの20世紀

田中一之 — ゲーデルと20世紀の論理学 2 : 完全性定理とモデル理論

田中一之 — ゲーデルと20世紀の論理学 3 : 不完全性定理と算術の体系

田中一之 — ゲーデルと20世紀の論理学 4 : 集合論とプラトニズム

野口潤次郎 — 多変数解析関数論 : 学部生へおくる岡の連接定理

永尾汎 — 代数学

カール・フリードリヒ・ガウス,Karl Friedrich Gauss,高瀬正仁 — ガウス整数論 (Disquisitiones Arithmeticae)

Daniel Solow ,ダニエル・ソロー, 安藤四郎 — 証明の読み方・考え方: 数学的思考過程への手引

本橋洋一 — リーマンゼータ函数と保型波動

中岡稔 — 位相幾何学: ホモロジー論

D. G. Northcott, 新妻弘 — Northcott イデアル論入門

菊池誠 — 不完全性定理

松本幸夫 — トポロジーへの誘い―多様体と次元をめぐって

永井均 — 倫理とは何か猫のアインジヒトの挑戦

長岡亮介 — 長岡亮介線型代数入門講義

田中一之, 鹿島亮, 角田法也, 菊池誠 — 数学基礎論講義―不完全性定理とその発展

ケネス・キューネン, 藤田博司 — 集合論—独立性証明への案内

高橋礼司 — 線型代数講義 : 現代数学への誘い

Herbert Kenneth Kunen,ケネスキューネン, 藤田博司 — キューネン数学基礎論講義

山内恭彦, 杉浦光夫 — 連続群論入門

Marcus Giaquinto; 田中一之 — 確かさを求めて : 数学の基礎についての哲学論考

佐藤隆夫 — 群の表示

村上仙瑞 — イメージでつかむ　イプシロンデルタ・位相空間論

Gaisi Takeuti, 竹内外史 — 証明論と計算量

小林昭七 — 微分積分読本 1変数

高林哲,鵜飼文敏,佐藤祐介,浜地慎一郎,首藤一幸 — Binary Hacks ――ハッカー秘伝のテクニック100選

Unknown — チューリングマシンと計算量の理論 (情報数理シリーズ B-2)

ウィラード・ヴァン・オーマン・クワイン — 集合論とその論理

坪井明人 — モデルの理論

田中尚夫 — 公理的集合論

Istilah kunci