E-raamat: Theory of Godel

Carlo Cellucci

Formaat: PDF+DRM
Sari: Synthese Library 470
Ilmumisaeg: 21-Nov-2022
Kirjastus: Springer International Publishing AG
Keel: eng
ISBN-13: 9783031134173

Teised raamatud teemal:

Formaat - PDF+DRM
Hind: 92,61 €*
* hind on lõplik, st. muud allahindlused enam ei rakendu
Lisa ostukorvi
Lisa soovinimekirja
See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.

Formaat: PDF+DRM
Sari: Synthese Library 470
Ilmumisaeg: 21-Nov-2022
Kirjastus: Springer International Publishing AG
Keel: eng
ISBN-13: 9783031134173

Teised raamatud teemal:

DRM piirangud

Kopeerimine (copy/paste):

ei ole lubatud
Printimine:

ei ole lubatud
Kasutamine:

Digitaalõiguste kaitse (DRM)
Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

Vajalik tarkvara
Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

Seda e-raamatut ei saa lugeda Amazon Kindle's.

This book presents Gödels 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 Hilberts 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.

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

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: DallUmanesimo 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).

Lisainfo e-raamatute kohta