Details for: The theory of gödel › Catálogo Bibliográfico NOVA FCT catalog

Image from Google Jackets

Normal view MARC view ISBD view

The theory of gödel [Documento eletrónico] / by Carlo Cellucci

Main Author: Cellucci, CarloLanguage: eng.Country: Switzerland, Swiss Confederation.Publication: Cham : Springer International Publishing, Springer, 2022Description: IX, 159 p.ISBN: 978-3-031-13417-3.Series: Synthese Library Studies in Epistemology Logic Methodology and Philosophy of Science, 470Subject - Topical Name: Logic | Mathematics -- Philosophy | Mathematics | History Online Resources:Click here to access online

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
E-Books	Biblioteca NOVA FCT Online	Não Ficção	BC1.SPR FCT (Browse shelf(Opens below))	1	Available		95977

Browsing Biblioteca NOVA FCT shelves, Shelving location: Online, Collection: Não Ficção Close shelf browser (Hides shelf browser)

Previous								Next
Previous	BC1.SPR FCT A model-theoretic approach to proof theory	BC1.SPR FCT Well-quasi orders in computation, logic, language and reasoning, a unifying concept of proof theory, automata theory, formal languages and descriptive set theory	BC1.SPR FCT Analyzing the logic of sun tzu in "the art of war", using mind maps	BC1.SPR FCT The theory of gödel	BC1.SPR FCT Logics of variable inclusion	BC1.SPR FCT Aristotelian assertoric syllogistic, incorporating the aristotelian assertoric syllogistic in the contemporary symbolic logic	BC1.SPR FCT Logic and implication, an introduction to the general algebraic study of non-classical logics	Next

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. .

There are no comments on this title.

to post a comment.