Foundations of Mathematics

Dirk W. Hoffmann ()
Additional contact information
Dirk W. Hoffmann: Hochschule Karlsruhe, Fakultät für Informatik und Wirtschaftsinformatik

Chapter Chapter 2 in Gödel's Incompleteness Theorems, 2024, pp 33-107 from Springer

Abstract: Abstract In this chapter, we will delve deeper into the history of mathematical logic and introduce various concepts crucial for comprehending Gödel’s work. Our journey starts in Section 2.1 with a short visit to the late nineteenth century. Here, we will acquaint ourselves with Gottlob Frege, who not only made significant contributions to the development of modern logic but also stands as one of the tragic figures in the annals of science. Section 2.2 will discuss the contributions of Giuseppe Peano, in particular, his axiomatic foundation of natural numbers. The endeavors of Frege and Peano were pivotal in the life of our next protagonist, Bertrand Russell. Section 2.3 will derive Russell’s antinomy and explain why it damaged mathematics at its core. Subsequently, we will open up the monumental work that Gödel mentions in the title of his paper: the Principia Mathematica. Finally, Section 2.4 will discuss modern set theory and provide an overview of the various axiomatic systems invented to put mathematics on solid ground.

Date: 2024
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-662-69550-0_2

Ordering information: This item can be ordered from
http://www.springer.com/9783662695500

DOI: 10.1007/978-3-662-69550-0_2

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().