The Annotated GÃ del: A Reader's Guide to his Classic Paper on Logic and Incompleteness
Prince, Hal
ISBN 13: 9798986414201
Editore: Homebred Press, 2022
Usato
paperback
Da
HPB-Diamond, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 15 settembre 2017
Questa copia non è più disponibile. Ecco le corrispondenze migliori per The Annotated GÃ del: A Reader's Guide to his Classic Paper on Logic and Incompleteness di Prince, Hal.
Riguardo questo articolo
Descrizione:
Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Codice articolo S_465436469
Riassunto:
A guidebook for reading Gödel
Kurt Gödel's 1931 article on incompleteness revealed some unexpected limitations in systems for proving theorems from axioms. Today we call these results Gödel's Incompleteness Theorems.
The Annotated Gödel is a book for people who want to read Gödel's article for themselves. It includes the complete article in a new English translation, broken into more than a hundred pieces and interleaved with commentary explaining each piece, step by step.
The translation uses modern mathematical notation and terminology. It replaces Gödel's German-based function names with English equivalents. Its language is less formal than that of the earlier translations, which date from the 1960s.
The book assumes some familiarity with mathematical definitions and proofs, at the level of an undergraduate abstract math course, as well as some knowledge of formal logic, from an introductory course or the equivalent.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: The Annotated GÃ del: A Reader's Guide to ...
Casa editrice: Homebred Press
Data di pubblicazione: 2022
Legatura: paperback
Condizione: Very Good