khafra comments on Second-Order Logic: The Controversy - LessWrong

24 Post author: Eliezer_Yudkowsky 04 January 2013 07:51PM

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

Comments (188)

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

Comment author: khafra 11 January 2013 02:27:04PM 3 points [-]

Could you expand on that? I had the impression that timeless physics was larger in RAM, but not on disk--where it counts for MML, Solomonoff Induction, etc.

Comment author: Peterdjones 15 January 2013 10:20:21PM 0 points [-]

I'm afraid I don't understand your RAM/disk metaphor.

Comment author: Nornagest 15 January 2013 11:22:14PM 1 point [-]

I took it to mean that it requires you to keep track of more state at any given time, but that the whole system has less logical complexity when you write it all down. Sort of like the difference between estimating the future state of a restricted N-body problem with numerical methods vs. solving it directly.

Comment author: Peterdjones 17 January 2013 01:33:58PM 0 points [-]

There are no "given times" in Barbour's universe. And who's the "you"? An internal or external observer?