Mathematical thought can't be fully formalised
Gödel’s theorem shows that human creativity can't be fully formalised. The ingenuity of mathematicians in devising new methods can't be reduced to a precise logical form.
For example, it has been shown that humans using "informal" mathematical reasoning, can prove theorems that can't be proven by any formal means.

Ernest Nagel and James R. Newman (1958).
Immediately related elementsHow this works
-
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
▲
Theorems show limitations of machine thought »Theorems show limitations of machine thought
■
Mathematical thought can't be fully formalised
●
Gödelian arguments don't affect open proof systems »Gödelian arguments don't affect open proof systems
●
Proof of human superiority relies on proof of consistency »Proof of human superiority relies on proof of consistency
+Commentaires (0)
+Citations (0)
+About