Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Original proof of Gödel's completeness theorem
Details
High Quality Content by WIKIPEDIA articles! The proof of Gödel's completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are outdated and terminology that is often obscure. The version given below attempts to faithfully represent all the steps in the proof and all the important ideas, while restating the proof in the modern language of mathematical logic. This outline should not be considered a rigorous proof of the theorem.
Klappentext
High Quality Content by WIKIPEDIA articles! The proof of Gödel's completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are outdated and terminology that is often obscure. The version given below attempts to faithfully represent all the steps in the proof and all the important ideas, while restating the proof in the modern language of mathematical logic. This outline should not be considered a rigorous proof of the theorem.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786130326111
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- Sprache Englisch
- Größe H222mm x B151mm x T15mm
- Jahr 2010
- EAN 9786130326111
- Format Fachbuch
- ISBN 978-613-0-32611-1
- Titel Original proof of Gödel's completeness theorem
- Untertitel Gödel's Completeness Theorem, Kurt Gödel, Mathematical Logic, First-Order Logic, Kleene's T Predicate, Soundness, Prenex Normal Form, Quantification, Truth Value
- Gewicht 167g
- Herausgeber Betascript Publishers
- Anzahl Seiten 100
- Genre Mathematik