An automatic proof of Gödel's incompleteness theorem (Q5906916)
From MaRDI portal
scientific article; zbMATH DE number 1170278
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An automatic proof of Gödel's incompleteness theorem |
scientific article; zbMATH DE number 1170278 |
Statements
An automatic proof of Gödel's incompleteness theorem (English)
0 references
30 June 1998
0 references
