Verkauf durch Sack Fachmedien

Cellucci

The Theory of Gödel

Medium: Buch
ISBN: 978-3-031-13416-6
Verlag: Springer International Publishing
Erscheinungstermin: 22.11.2022
Lieferfrist: bis zu 10 Tage

This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert’s Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help.


Produkteigenschaften


  • Artikelnummer: 9783031134166
  • Medium: Buch
  • ISBN: 978-3-031-13416-6
  • Verlag: Springer International Publishing
  • Erscheinungstermin: 22.11.2022
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2022
  • Serie: Synthese Library
  • Produktform: Gebunden
  • Gewicht: 430 g
  • Seiten: 159
  • Format (B x H x T): 160 x 241 x 16 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Autoren

First-Order Logic.- Completeness.- First-Order Theories.- Primitive Recursive Arithmetic.- Encoding.- Incompleteness.- Other Limitative Results.- Second-Order Logic.- Second-Order Arithmetic.- Appendix.