wedrifid comments on Cryptographic Boxes for Unfriendly AI - Less Wrong

24 Post author: paulfchristiano 18 December 2010 08:28AM

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

Tags: ai

Comments (155)

Sort By: Best

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

Comment author: jsalvatier 19 December 2010 08:54:38PM * 5 points [-]

Actually computers can mechanically check proofs for any formal system.

Comment author: wedrifid 20 December 2010 05:56:30AM 0 points [-]

Is there something missing from the parent? It does not seem to parse.

Comment author: jsalvatier 20 December 2010 06:54:48AM 0 points [-]

Yes, edited. thanks.

Comment author: wedrifid 20 December 2010 07:04:32AM 0 points [-]

And upvoted. :)