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