AlephNeil comments on Kevin T. Kelly's Ockham Efficiency Theorem - Less Wrong

30 Post author: Johnicholas 16 August 2010 04:46AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (81)

You are viewing a single comment's thread. Show more comments above.

Comment author: AlephNeil 25 August 2010 07:45:37AM *  1 point [-]

So essentially, the problem with Paul Almond's suggestion is that one can find languages X that are 'X[0]-pathological' in the sense that almost all of their children are both (i) good at implementing some fixed language X[0] and (ii) even more X[0]-pathological than they are (this being a recursive definition of 'pathological').

Such languages destroy any hope that Paul's "low-level index for Y" won't depend on which language X we start from.