OrphanWilde comments on Risks of downloading alien AI via SETI search - Less Wrong

9 Post author: turchin 15 March 2013 10:25AM

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

Comments (98)

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

Comment author: OrphanWilde 15 March 2013 09:39:48PM 10 points [-]

There's a gulf of difference between being unable to prove that -any- string has complexity greater than some constant and actually being able to actually specify -arbitrary- strings using less than that constant in computational resources.

Chaitin's Incompleteness Theorem doesn't limit complexity, only -provable- complexity.