Four Gods, and the Turing Machine that runs the universe http://palmstroem.blogspot.com/2015/12/four-gods.html …
@vakibs We have that, too: Open World vs. Closed World assumption in knowledge representation, and more generally type theory...
-
-
@Plinz So pls tell me, under the open world assumption, if proposition A is known with certainty to be False, what is the value of Not A ? -
@vakibs In an open world binary logic, it is false. But we now also have “unknown”. - 7 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.