Re: Panu Raatikainen's review of two of Chaitin's books.

From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 05/16/04 

Date: 16 May 2004 14:53:32 +0200

erayo@bilkent.edu.tr (Eray Ozkural exa) writes:

> Furthermore, I think the review spells of the reviewer's ignorance,
> and hence my emphasis on "mere philosopher".

  Your opinion of Raatikainen, valuable and interesting as it might
be, is not really at issue. More to the point would be an elaboration
of the "direct dependence" that you find between the complexity of
a formal system and its power to prove theorems.

  You might wish to take into account that the AMS reviewer of
Raatikainen's 1998 paper "On interpreting Chaitin's
incompleteness thoerem", Cristian Calude, does not share your opinion.

Relevant Pages

  • Re: Eternal Verities
    ... Eray Ozkural exa wrote: ... Which option is your own opinion? ... You and Lester should each discover the difference between 'or' ...
    (sci.cognitive)
  • Re: Raatikainens critique of Chaitin
    ... erayo@bilkent.edu.tr (Eray Ozkural exa) writes: ... > distinguished mathematician, in my opinion, and probably has better ... Solovay randomness is equivalent to Chaitin random. ...
    (sci.math)
  • Re: Raatikainens critique of Chaitin
    ... erayo@bilkent.edu.tr (Eray Ozkural exa) writes: ... > distinguished mathematician, in my opinion, and probably has better ... Solovay randomness is equivalent to Chaitin random. ...
    (comp.theory)