Four Gods, and the Turing Machine that runs the universe http://palmstroem.blogspot.com/2015/12/four-gods.html …
@vakibs In an open world binary logic, it is false. But we now also have “unknown”.
-
-
@Plinz In my understanding, open world assumption does not separate the uncertainty in A and Not A. If one is certain, the other is too. -
@vakibs It has to do with the definition of the inverse over (true AND known), which are separate predicates - 5 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.