comments

The Gödelian insight has already been formalised

Programs have been developed that can derive Gödel's theorems. The Gödelian insight has, in effect, been formalised.

Stuart Russel and Peter Norvig (1995).
RELATED ARTICLESExplain
⌅
Artificial Intelligence
⌃
Are thinking computers mathematically possible? [7]
⌃
No: computers are limited by Gödel's theorems
⌃
The problem of consistency
⌃
We don't know that mathematics is consistent
⌃
The Gödelian insight is all that we need
■
The Gödelian insight has already been formalised
□
Graph of this discussion
Enter the title of your article


Enter a short (max 500 characters) summation of your article
Enter the main body of your article
Lock
+Comments (0)
+Citations (0)
+About
Enter comment

Select article text to quote
welcome text

First name   Last name 

Email

Skip