Re: Math as an Experimental Science


Han de Bruijn wrote:
William Elliot wrote:

Riddle of the Day. If the statement of a computer discovered and proven
theorem, is so long and complex that nobody can read it, (ie, is
incomprehensible), is it meaningful and useful (does it really exist)?

Huh, huh. Riddle of the Day. How about Wiles' Court Room Style Proof of
Fermat's Last Theorem? And other such modern "proofs" ...

Including the Four Color Theorem proofs.

Related riddle: Should proofs be limited in length to what a single
human being can comprehend?

(If so, there are only a finite number of provable theorems. And if so,
which specific human being should be used?)

--- Christopher Heckman

.

Relevant Pages