FOM: Interesting review of Chaitin

Alasdair Urquhart urquhart at cs.toronto.edu
Tue Mar 27 16:16:17 EST 2001


FOM subscribers who have been following the 
Chaitin thread might be interested in the very 
thoughtful review of Chaitin's
work by Peter Gacs in the JSL, Vol. 54 (1989),
p. 624.  In particular, Gacs argues, based on
an information conservation theorem of Leonid Levin,
that Chaitin's results do not support the idea
of empirical mathematics.

--Alasdair Urquhart






More information about the FOM mailing list