Four Gods, and the Turing Machine that runs the universe http://palmstroem.blogspot.com/2015/12/four-gods.html …
-
-
@Plinz For a proposition A, the four sides are A, Not A, A and Not A, Neither A nor Not A. I wrote a blog about this http://the-redpill.blogspot.de/2015/11/the-four-sided-negation-tool-for.html … -
@vakibs We have that, too: Open World vs. Closed World assumption in knowledge representation, and more generally type theory... - 9 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.