(January 30, 2012 at 10:25 am)CliveStaples Wrote: I don't find constructivism very appealing. What would a constructivist make of the following argument:
n = 2 if the Goldbach conjecture is true, 3 otherwise
Is n prime?
I don't care. Can a computer AI (artificial Intelligence) find a structure it can make a decision with, your goldbach conjecture?
For this kind of programming, one needs constructionist tools. Infinity does not work on finite systems. You have to deal with reality sometimes, not hallucinations of god, and infinity.
When we remember we are all mad, the mysteries disappear and life stands explained.
Mark Twain
Mark Twain