X-Message-Number: 23894
Date: Thu, 15 Apr 2004 12:01:26 +1000
From: Simon Carter <>
Subject: FYI: John Casti on Godel, Chaitin, & Turing (& language!)
References: <>

"In all cases, what is involved in this process is the realization
 that everyday language is incredibly rich in its ability to evoke
 images and intuitive concepts. But to prove theorems it is necessary
 to constrain this expressive power somewhat, while at the same time
 not suffocating it entirely. Finding the right formalization is a
 large component of the art of doing great mathematics."

 Nature Vol 411 p 527 31 May 2001

http://www.cs.auckland.ac.nz/CDMTCS/chaitin/casti.html

Rate This Message: http://www.cryonet.org/cgi-bin/rate.cgi?msg=23894