Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel - Hardcover
Inhaltsangabe
The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Sentences Undecidable in Formalized Arithmetic: An...
Foto des Verkäufers
Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel
Anbieter: Lavendier Books, Foster, RI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Greenwood Press, Publishers; Westport, 1982. Hardcover. Reprint Edition. Near Fine, maroon binding with gilt lettering on spine, binding firm, interior and extremities tidy, minimal use/handling marks, book appears unread, mild sunning to pages, without dust wrapper. A nice, clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches], 117pp., bibliography. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book. Bestandsnummer des Verkäufers SKU1025663
Beispielbild für diese ISBN
Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel
Verlag:
Greenwood Press, Westport, 1982
ISBN 10: 0313231516
ISBN 13: 9780313231513
Gebraucht
Hardcover
Erstausgabe
Anbieter: Daedalus Books, Portland, OR, USA
Verkäuferbewertung 5 von 5 Sternen
Cloth. Zustand: Very Good. First Edition. A nice, solid copy. ; 8vo; 117 pages. Bestandsnummer des Verkäufers 336126