Metamathematics, machines, and Gödel's proof

Bibliographische Detailangaben

1. Verfasser:	Shankar, N. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge u.a. Cambridge Univ. Press 1994
Ausgabe:	1. publ.
Schriftenreihe:	Cambridge tracts in theoretical computer science 38
Schlagworte:	Gödel, Théorème de - Informatique Théorèmes - Démonstration automatique Datenverarbeitung Automatic theorem proving Gödel's theorem > Data processing Gödelscher Unvollständigkeitssatz Metamathematik Künstliche Intelligenz
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!