/

Theory of Gödel

Cellucci Carlo
Innbundet / 2022 / Engelsk

Produktdetaljer

ISBN
9783031134166
Publisert
2022-11-22
Utgiver
Vendor
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Graduate, P, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet

Forfatter
Cellucci Carlo

Om bidragsyterne

Carlo Cellucci is emeritus professor of logic at Sapienza University of Rome. He is the author of eight books: Teoria della dimostrazione (Boringhieri, 1978); Le ragioni della logica (Laterza, 1998); Filosofia e matematica (Laterza, 2003); Perché ancora la filosofia (Laterza, 2008); Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method (Springer, 2013); Breve storia della logica: Dall’Umanesimo al primo Rinascimento (with Mirella Capozzi, Lulu Press, 2014); Rethinking Knowledge: The Heuristic View (Springer, 2017); The Making of Mathematics: Heuristic Philosophy of Mathematics (Springer, 2022).


Theory of Gödel

Cellucci Carlo
Innbundet / 2022 / Engelsk
Cellucci Carlo
Innbundet / 2022 / Engelsk
Nettpris:
1.435,-
Levering 7-20 dager
Sjekk lagerstatus i butikk
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. 
Les mer
This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy 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.
Les mer
First-Order Logic.- Completeness.- First-Order Theories.- Primitive Recursive Arithmetic.- Encoding.- Incompleteness.- Other Limitative Results.- Second-Order Logic.- Second-Order Arithmetic.- Appendix.
Les mer
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. 
Les mer
Presents Gödel's incompleteness theorems in a form most relevant to the philosophy of mathematics Entirely self-contained Discusses implications for Hilbert’s Program

Relaterte produkter

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. 
Les mer
This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy 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.
Les mer
First-Order Logic.- Completeness.- First-Order Theories.- Primitive Recursive Arithmetic.- Encoding.- Incompleteness.- Other Limitative Results.- Second-Order Logic.- Second-Order Arithmetic.- Appendix.
Les mer
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. 
Les mer
Presents Gödel's incompleteness theorems in a form most relevant to the philosophy of mathematics Entirely self-contained Discusses implications for Hilbert’s Program

Produktdetaljer

ISBN
9783031134166
Publisert
2022-11-22
Utgiver
Vendor
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Graduate, P, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet

Forfatter
Cellucci Carlo

Om bidragsyterne

Carlo Cellucci is emeritus professor of logic at Sapienza University of Rome. He is the author of eight books: Teoria della dimostrazione (Boringhieri, 1978); Le ragioni della logica (Laterza, 1998); Filosofia e matematica (Laterza, 2003); Perché ancora la filosofia (Laterza, 2008); Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method (Springer, 2013); Breve storia della logica: Dall’Umanesimo al primo Rinascimento (with Mirella Capozzi, Lulu Press, 2014); Rethinking Knowledge: The Heuristic View (Springer, 2017); The Making of Mathematics: Heuristic Philosophy of Mathematics (Springer, 2022).


Relaterte produkter