Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων

数学における証明と真理: 様相論理と数学基礎論

Main
Mathematics - Logic
数学における証明と真理: 様相論理と数学基礎論

数学における証明と真理: 様相論理と数学基礎論

佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠

0 / 5.0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先端の議論までを解説した。

Κατηγορίες:

Mathematics - Logic

Έτος:

2016

Έκδοση:

1

Εκδότης:

共立出版

Γλώσσα:

japanese

Σελίδες:

304

ISBN 10:

4320111486

ISBN 13:

9784320111486

Αρχείο:

PDF, 17.81 MB

IPFS:

,

japanese, 2016

Διαβάστε online

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

（美）A.拉尔斯登，H.S.维尔夫等著；《数字计算机上用的数学方法》翻译组译 — 数字计算机上用的数学方法第2卷

Gaisi Takeuti, 竹内外史 — 数理論理学—語の問題

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

Martin Aigner, G¨unter M. Ziegler,マーティン・アイグナー, ギュンター・M.ツィーグラー, 蟹江幸博 — 天書の証明

Richard P. Feynman,Fernando Bernardino Morinigo,William Gerard Wagner, Brian Hatfield,ファインマン, モリニーゴ, ワーグナー, ハットフィールド, 和田純夫 — ファインマン講義重力の理論

松原隆彦,Takahiko Matsubara — 現代宇宙論───時空と物質の共進化

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

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

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

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

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

Timothy Gowers, June Barrow-Green, Imre Bennett Leader,砂田利一,石井仁司,平田典子,二木昭人,森真 — プリンストン数学大全

中岡稔 — 位相数学入門 (基礎数学シリーズ)

上田尚一 — 主成分分析 (講座・情報をよむ統計学)

利島保 — 脳神経心理学 (朝倉心理学講座)

森川寿 — 不変式論 (紀伊國屋数学叢書 11)

小田忠雄 — 凸体と代数幾何学 (紀伊國屋数学叢書 24)

村松壽延 — 補間空間論と線型作用素 (紀伊國屋数学叢書 25)

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

杉浦光夫 — リー群論

高瀬正仁 — 古典的難問に学ぶ微分積分

菊池誠 — 不完全性定理

坂内英一, 坂内悦子, 伊藤達郎 — 代数的組合せ論入門

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

志賀弘典,Hironori Shiga,新井仁之,小林俊行,斎藤毅,吉田朋広 — 保型関数－古典理論とその応用 /Hokei kansū. Koten riron to sono ōyō

金谷健一 — 線形代数セミナー: 射影,特異値分解,一般逆行列

高瀬正仁 — オイラーの難問に学ぶ微分方程式

金谷健一 — 3次元回転: パラメータ計算とリー代数による最適化

服部久美子, 原田なをみ, David Croydon — 数学のための英語教本

G. ファルティングス, M. グロモフ, 小林俊行, M. コンツェビッチ, D. ザキエ, 斎藤恭司, G.M. ツィーグラー — 数学の最先端 21世紀への挑戦〈volume 1〉

森下昌紀,Masanori Morishita — 結び目と素数

丹治信春 — 論理学入門

前野昌弘 — よくわかる量子力学

前野昌弘 — よくわかる初等力学

宮入庄太, 前田明志, 磯部直吉 — 基礎電気・電子工学 (理工学講座)

今村舜仁 — 電子物性工学―基礎からデバイスへ (理工学講座)

深海登世司 — 半導体工学―基礎からデバイスまで (理工学講座)

竹内外史 — 数学基礎論の世界ロジックの雑記帳から

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

新井仁之 — ルベーグ積分講義: ルベーグ積分と面積0の不思議な図形たち

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

赤攝也 — [微分積分学] I-微分学, II-積分学, III-実数論講義

Φράσεις κλειδιά