Mathematical truth may evolve

Iintuitionism holds that mathematical truth evolves. If so, there's no reason to believe that the Gödel sentence generated by system will still be that system's own Gödel sentence when the sentence is later evaluated.

Penrose assumes that all mathematicians agree on a shared and immutable notion of mathematical truth. But a major school of mathematics, intuitionism, holds that mathematical truth involves is instead.

Jon Doyle (1990).
RELATED ARTICLESExplain
Artificial Intelligence
Are thinking computers mathematically possible? [7]
No: computers are limited by Gödel's theorems
Mathematical insight is non-algorithmic
Mathematical truth may evolve
Alogrithms are fixed interpretations
The absurdity of algorithmic insight
Mathematical insight is not the important issue
Penrose's intuition is irrelevant
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