Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
In 1931, the mysterious-sounding article "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I" shook the mathematical world. In this article, Kurt Gödel proved two incompleteness theorems that have fundamentally changed our view of mathematics. Gödel's...
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2024.
|
| 版: | 1st ed. 2024. |
| 主題: | |
| オンライン･アクセス: | https://doi.org/10.1007/978-3-662-69550-0 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
目次:
- Introduction
- Foundations of Mathematics
- Proof Sketch
- System P
- Primitive-Recursive Functions
- The Limits of Mathematics
- Epilogue.