s. Some things are simply not computable. Computers can do many useful things, but they cannot discover new mathematical theorems, such as a proof of Fermat’s Last Theorem. In 1996, Andrew Wiles succeeded in finding a solution to this problem. This presents a paradox, solved only if we conclude Andrew Wil

e) Junk (an infinite number of these) Print Something (again an infinite number of these) More Gibberish Excel Word PowerPoint Mathematica... Fermat’s Last Theorem enumerator (runs for ever) A nonworking version of the Halting Program A nonworking version of the Crashing Program Really big prog

amples as inane as that one from Gertrude Stein. All of math is derived as logical certitude. Its proof comes from analysis, not experiment. Proof of Fermat’s last theorem eluded some of the finest minds in the world for three centuries until Andrew Wiles published the solution in 1995. Philosophy is prec