FOM: Interesting review of Chaitin

Alasdair Urquhart urquhart at
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