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...

Full description

Bibliographic Details

Main Author:	Hoffmann, Dirk W. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2024.
Edition:	1st ed. 2024.
Subjects:	Mathematical logic. Mathematical Logic and Foundations.
Online Access:	https://doi.org/10.1007/978-3-662-69550-0
Tags:	Add Tag No Tags, Be the first to tag this record!