Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /

Incompleteness is a fascinating phenomenon at the intersection of mathematical foundations, computer science, and epistemology that places a limit on what is provable. However, despite its importance, it is often overlooked in the mathematics curricula because it is difficult to teach. This book aim...

Celý popis

Podrobná bibliografie

Hlavní autor:	Batzoglou, Serafim (Autor)
Korporativní autor:	SpringerLink (Online service)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Cham : Springer Nature Switzerland : Imprint: Birkhäuser, 2024.
Vydání:	1st ed. 2024.
Témata:	Mathematical logic. Set theory. Mathematical Logic and Foundations. Set Theory.
On-line přístup:	https://doi.org/10.1007/978-3-031-64217-3
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!