SHUNYATA—implemented model
The SUNYATA system has autonomously developed a diagonalisolation procedure in its proof of Gödel's theorem. It has also been used to formulate an automatic version of Gödel proof.
K. Ammon (1993).
CONTEXT(Help)
-
Artificial Intelligence »Artificial Intelligence
▲
Are thinking computers mathematically possible? [7] »Are thinking computers mathematically possible? [7]
▲
No: computers are limited by Gödel's theorems »No: computers are limited by Gödel's theorems
▲
Improved machines »Improved machines
▲
The Gödelian insight has already been formalised »The Gödelian insight has already been formalised
■
SHUNYATA—implemented model
+Comments (0)
+Citations (0)
+About