寄付 2024年9月15日 – 2024年10月1日募金について

キューネン数学基礎論講義

Main
Mathematics - Mathematical Foundations
キューネン数学基礎論講義

キューネン数学基礎論講義

ケネスキューネン

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説します。

カテゴリー:

Mathematics - Mathematical Foundations

年:

2016

出版社:

日本評論社

言語:

japanese

ページ:

378

ISBN 10:

4535787484

ISBN 13:

9784535787483

ファイル:

PDF, 76.73 MB

IPFS:

,

japanese, 2016

ダウンロード (pdf, 76.73 MB)

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

本田欣哉, 永田雅宜 — アーベル群・代数群

数理科学編集部 — 数理科学 2011年03月号「方程式と現代代数学」

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

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

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

田中尚夫 — 公理的集合論

倉田令二朗,篠田寿一 — 公理論的集合論

岡部恒治,一松信,白井古希男,和田秀男 — 反例からみた数学

松本和夫 — 復刊数理論理学

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

倉田令二朗 — 数学基礎論へのいざない

荻原光徳 — 複雑さの階層 (アルゴリズム・サイエンスシリーズ6 数理技法編)

前原昭二 — 記号論理入門

萩谷昌己, 西崎真也 — 論理と計算のしくみ

清水義夫 — 記号論理学講義基礎理論束論と圏論知識論

矢野公一 — 距離空間と位相構造

井田哲雄,田中二郎 — 続新しいプログラミング・パラダイム

本田欣哉, 永田雅宜 — 復刊アーベル群・代数群

松本和夫 — 数理論理学

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

西浦廉政 — 非平衡ダイナミクスの数理

弥永昌吉, 弥永健一 — 集合と位相

新井敏康 — 数学基礎論

清水義夫 — 記号論理学

新井敏康 — 数学基礎論増補版

斎藤毅 — 集合と位相

田中一之 — ゲーデルに挑む証明不可能なことの証明

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

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

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

永尾汎 — 代数学

Benjamin C. Pierce, 住井英二郎, 遠藤侑介, 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男 — 型システム入門 : プログラミング言語と型の理論

前原昭二 — 数理論理学序説

菊池誠 — 不完全性定理

佐野勝彦, 倉橋太志, 薄葉季路,黒川英徳,菊池誠 — 数学における証明と真理 : 様相論理と数学基礎論

主要なフレーズ