comments

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).
RELATED ARTICLESExplain
⌅
Artificial Intelligence
⌃
Are thinking computers mathematically possible? [7]
⌃
No: computers are limited by Gödel's theorems
⌃
Theorems show limitations of machine thought
■
Mathematical thought can't be fully formalised
↳
Gödelian arguments don't affect open proof systems
↳
Proof of human superiority relies on proof of consistency
□
Gödel's first theorem
□
Gödel's second theorem
□
Gödel's and Church's theorems are psychological laws
□
Machines can't understand language like humans
□
Mathematics is an essentially creative activity
□
The argument from Church's theorem
□
A human can't simultaneously beat all machines
□
Machines may eventually have mathematical intuition
□
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