Re: Raatikainen's critique of Chaitin

From: Eray Ozkural exa (erayo_at_bilkent.edu.tr)
Date: 09/01/04 

Date: 1 Sep 2004 16:17:11 -0700

Timothy Murphy <tim@birdsnest.maths.tcd.ie> wrote in message news:<X3nZc.26288$Z14.8344@news.indigo.ie>...
> Eray Ozkural exa wrote:
>
> > You have to give "reason" a meaning to make "for no reason"
> > meaningful. In the two of my philosophical arguments elsewhere on this
> > thread, I outline how a realist (not me!) could arrive at the
> > conclusion that there are mathematical statements that are true for no
> > reason by assigning a precise meaning to "reason".
>
> Slightly off-topic, but I was thinking that one might claim
> there are real numbers that are irrational for no reason,
> on the grounds that the number of reasons must be enumerable.

This seems somewhat compatible with Darly's and my arguments. "Being
irrational" is a predicate of a real number; the truth of this
predicate could be due to no "reason". (reason here is the response to
the question "why?") But I suppose you do not have Pi in mind, do you?

Regards, 

--
Eray Ozkural

Relevant Pages

  • Re: Modeling question...
    ... If R's extension can be loosely pictured like so, where the string "a b" stands for a conventional heading, R has one tuple and the "first" b has one tuple and the second "b" has no tuples: ... To my way of thinking, no matter what predicate or relation we decide stands between a and a.b, there must be another predicate that involves a and b, say for example's sake, "b is the set of tuples that have 'a' values that are numerically larger than the value of a". ... For some reason I can't explain very well, I find it more appealing to express structure than to express procedure. ... When people like Fabian P talk about "R-tables", it seems to me that sometimes they don't want that second operand to always be the same complement. ...
    (comp.databases.theory)
  • Re: Set existence
    ... One has to put a quantifier somewhere ... If for some reason we did want to formalize ... The reason there's no existspredicate in standard ...
    (sci.math.research)
  • Re: I need a philosophical opinion ...
    ... The notion of existence can not be ... dentote chaitins omega differently (with reason) ... ... strong hunch I can explain why ... ...
    (sci.physics.relativity)
  • Re: Penrose vs the Robot
    ... Aatu Koskensilta wrote: ... >> predicate which can take as arguments sentences containing itself. ... > But should instead reason freely from such clear and unproblematic ... any given language cannot itself be defined in that language. ...
    (sci.logic)
  • Re: Penrose vs the Robot
    ... >> predicate which can take as arguments sentences containing itself. ... >But should instead reason freely from such clear and unproblematic ... G G is not believed by Penrose ... is not a contradiction. ...
    (sci.logic)