Re: Math as an Experimental Science

From: Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx>
Date: Wed, 30 Aug 2006 09:30:46 +0200

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" ...

Han de Bruijn

.

Follow-Ups:
- Re: Math as an Experimental Science
  - From: Proginoskes

References:
- Math as an Experimental Science
  - From: William Elliot
- Re: Math as an Experimental Science
  - From: Gerry Myerson
- Re: Math as an Experimental Science
  - From: William Elliot

Prev by Date: Re: Am I a crank?
Next by Date: Re: Math as an Experimental Science
Previous by thread: Re: Math as an Experimental Science
Next by thread: Re: Math as an Experimental Science
Index(es):
- Date
- Thread

Relevant Pages

Re: Math as an Experimental Science
... Han de Bruijn wrote: ... theorem, is so long and complex that nobody can read it, (ie, is ... Huh, huh. ...
(sci.math)
Re: Set inclusion and membership
... On Wed, 1 Dec 2004, Han de Bruijn wrote: ... > William Elliot wrote: ... > above set is resemblant to the power set in some respects. ...
(sci.math)
Re: Calculus XOR Probability
... Han de Bruijn wrote: ... But nobody except you (and Tony?) thinks that you can meaningfully ...
(sci.math)
Re: Set inclusion and membership
... William Elliot wrote: ... that would be according to the books. ... Han de Bruijn ...
(sci.math)
Re: quotient rule for differentiation
... William Elliot wrote: ... two differentiable functions. ... Han de Bruijn ...
(sci.math)