DanArmak comments on LW/OB Quotes - Fall 2009 - Less Wrong

2 Post author: thomblake 01 September 2009 03:11PM

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

Comments (48)

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

Comment author: DanArmak 16 September 2009 08:14:39PM 0 points [-]

Christian's argument shows there are always problems that can't be solved or shown to be unsolvable. But even if you ignore them and look at finitely solvable problems (or provable theorems in PA), there's no upper bound on the time or processing power needed to solve a randomly chosen problem. Not even for the "smartest" intelligence allowed by the laws of physics (i.e. the one ideally optimized to solve the chosen problem).

Comment author: anonym 21 September 2009 12:56:32AM 0 points [-]

Thanks for the clear explanation. My response below to Christian is relevant here also.