Metamathematics, machines and Gödel's proof / N. Shankar

Englisch

Cambridge [u.a.] : Cambridge Univ. Press, 1994

Austin

XV, 202 S. : graph. Darst.

Software; Hochschulschrift

Literaturverz. S. 189-196

£ 25.00

Zugl.: Austin, Univ., Diss., 1986 u.d.T.: Shankar, N.: Proof checking metamathematics

0-521-42027-X

*Metamathematik / Theorem / Beweis

*Gödelscher Unvollständigkeitssatz / Beweis

*Metamathematik / Gödelscher Unvollständigkeitssatz

*Mathematics ; Gödel's theorem -- Data processing ; Automatic theorem proving

Klassifikation der Library of Congress: QA9.65

Dewey Dezimal-Klassifikation: 511.3028553 ; 511.3 ; 511.3/0285/53

Regensburger Verbund-Klassifikation: SK 130: Logik und Grundlagen, Metamathematik,

Mathematics Subject Classification: *68T15

Mathematics Subject Classification: 68-02

Mathematics Subject Classification: 03B99

Mathematics Subject Classification: 03B35

http://www.loc.gov/catdir/toc/cam032/94222366.html [Table of contents]

http://www.loc.gov/catdir/description/cam032/94222366.html [Publisher description]

http://www.loc.gov/catdir/samples/cam034/94222366.html [Sample text]

https://zbmath.org/?q=an:0813.68150 [Zentralblatt MATH]

kaz

Potsdamer Straße