DSimon comments on A note on the description complexity of physical theories - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (177)
Wouldn't a meta-algorithm that determines which paths are executable in a given algorithm necessarily not be able to do so for every possible algorithm unless it was functionally equivalent to a halting oracle?
I'm not sure how problematic this is to your idea, but it's one advantage that the simpler system of just counting total lines has.