(February 1, 2012 at 1:28 am)Pendragon Wrote: 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.
So from this,
Does that mean math is only useful insofar that we can program with it?
From that infinity comment... Does that mean you're not a fan of real numbers, Hilbert spaces, Functional Analysis, Fourier analysis...
Draw lines plox.