DSimon comments on Rationality Quotes December 2011 - Less Wrong

4 Post author: Jayson_Virissimo 02 December 2011 06:01AM

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

Comments (577)

You are viewing a single comment's thread.

Comment author: DSimon 05 December 2011 02:04:14AM *  19 points [-]

Unlike programs, computers must obey the laws of physics.

-- Alan J. Perlis, in the foreword to Structure and Interpretation of Computer Programs

Comment author: thomblake 14 December 2011 05:31:27PM 0 points [-]

This works as long as you think information is outside the purview of physics.

Comment author: DSimon 14 December 2011 06:44:53PM 2 points [-]

Mathematical systems are outside the purview of physics. I can make true statements about infinite series and n-dimensional spaces all day long and never have to actually go point at any in the real world.

Except... the decidedly non-trivial exception to this rule is that whatever is actually implementing the mathematical reasoning is constrained by physics, whether it's my brain or an i5 quad core.

Which is how I interpret the quote: the internal rules of abstract systems are not subject to physics, but the systems themselves sooner-or-later are. This is particularly relevant to programming because you can use non-physical abstractions if and only if you (or the people who wrote your tools) can explicitly represent them with physical processes.

Comment author: thomblake 14 December 2011 06:49:31PM *  0 points [-]

My point was merely that some would consider the laws of Information Theory to be contained within "the laws of physics", and programs cannot violate the laws of Information Theory.