# Re: the RM and Godel

Date: Sat, 25 Jun 2005 09:34:19 GMT

Message-ID: <vy9ve.129657$F62.7015496_at_phobos.telenet-ops.be>

mountain man wrote:

> I seem to recall there is no "solid ground" in mathematics

*> in that the formalisms of mathematics cannot lead to
**> anything resembling "absolute truth".
*

That's a grave oversimplification and a very misleading statement. A slightly less oversimplified version would be that if you formalize the theory of natural numbers (or sets, for that matter) you cannot have "the truth, the whole truth, and nothing but the truth" because you have to choose between either "the whole truth" or "nothing but the truth". Most tend to choose the "nothing but the truth".

*> How do RM theorists view the work of Godel, Turing and
*

> Chaitin? What are the implications of Godels theorem of

> incompleteness, or Chaitin's random truth, to the RM?

- Jan Hidders