Re: Raatikainen's critique of Chaitin

From: Timothy Murphy (tim_at_birdsnest.maths.tcd.ie)
Date: 09/01/04 

Date: Wed, 01 Sep 2004 01:03:46 +0100

Torkel Franzen wrote:

> There is no definition whatever in Chaitin's writings of what it
> means for a mathematical statement to be true for no reason.

Maybe Chaitin had no reason for making his statement. 

-- 
Timothy Murphy  
e-mail (<80k only): tim /at/ birdsnest.maths.tcd.ie
tel: +353-86-2336090, +353-1-2842366
s-mail: School of Mathematics, Trinity College, Dublin 2, Ireland

Relevant Pages

  • Re: Raatikainens critique of Chaitin
    ... > means for a mathematical statement to be true for no reason. ... Maybe Chaitin had no reason for making his statement. ... Timothy Murphy ...
    (sci.math)
  • Re: Raatikainens critique of Chaitin
    ... his grand conclusions, especially that there are theorems "true for no ... To say that X is a reason for Y presupposes that X is simpler than Y. ... include a section on Chaitin and also Raatikainen's response. ... loyalties beyond loyalty to their respective nations." ...
    (sci.math)
  • Re: Raatikainens critique of Chaitin
    ... Timothy Murphy wrote: ... >I'm sure if there was an explanation you would have found it. ... >that some propositions must be true without reason. ... If "not provable" referred to one given formal system, ...
    (sci.math)
  • Re: openvpn - urgent help requested!
    ... Timothy Murphy wrote: ... from my laptop to my home server, not in the reverse direction. ... However, I cannot think of any reason I would want to do the reverse, ...
    (Fedora)
  • Re: Simple way to show number is a power?
    ... Timothy Murphy wrote: ... > The reason I asked the question was that the methods I have seen ... If done with careful attention to precision, ... solving this with a unit error bound has the ...
    (sci.math)