We don't know that mathematics is consistent
Gödel’s theorem rests on the assumption of a consistent formal theory. But many theories in the history of mathematics have been flawed, and even today the best theories are sometimes called into question.
This indicates that we don't know, but only hope or believe, that our mathematical theories are consistent—and this in turn means that we can't see with certainty the truth of the Gödel sentence.

George Boolos (1990).
 
Note: this argument is directed against Penrose's version of the arguments, rather than Lucas's.
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
▲
The problem of consistency »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 is all that we need
+Comments (0)
+Citations (0)
+About