Carlo Cellucci
Springer International Publishing
e druk, 2022
9783031134166
The Theory of Gödel
Specificaties
Gebonden, blz.
|
Engels
Springer International Publishing |
e druk, 2022
ISBN13: 9783031134166
Rubricering
Juridisch
:
Onderdeel van serie
Synthese Library
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9783031134166
Taal:Engels
Bindwijze:gebonden
Uitgever:Springer International Publishing
Serie:Synthese Library
Inhoudsopgave
<p>First-Order Logic.- Completeness.- First-Order Theories.- Primitive Recursive Arithmetic.- Encoding.- Incompleteness.- Other Limitative Results.- Second-Order Logic.- Second-Order Arithmetic.- Appendix.<br></p><p><br></p>
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht