jsalvatier comments on Cryptographic Boxes for Unfriendly AI

jsalvatier 19 Dec 2010 20:54 UTC
7 points
Actually computers can mechanically check proofs for any formal system.
- wedrifid 20 Dec 2010 5:56 UTC
  0 points
  Parent
  Is there something missing from the parent? It does not seem to parse.
  - jsalvatier 20 Dec 2010 6:54 UTC
    0 points
    Parent
    Yes, edited. thanks.
    - wedrifid 20 Dec 2010 7:04 UTC
      0 points
      Parent
      And upvoted. :)