= 27d567bc2d48d9f40e9ccc20ea370b15)
lackofcheese comments on Single player extensive-form games as a model of UDT - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (26)
Here's an idea for a "logical counterfactual surgery detector":
Run a sandboxed version of your proof engine that attempts to maximally entangle that digit of pi with other logical facts. For example, it might prove that "if the 10000th decimal digit of pi is 8, then ⊥". If you detect that the sandboxed proof engine undergoes a logical explosion, then GIVE. Otherwise, REFUSE.