The Cyc Project turned common sense into predicate logic... ...and found it necessary to create lots and lots of "microtheories" (locally consistent, mutually inconsistent) because anything vaguely large acquired contradictions.
-
-
-
looks like douglas lenat was at xerox parc in the early 80s - lucy suchman and other EM people were around then, I wonder if it influenced him?
- 6 more replies
New conversation -
-
- End of conversation
New conversation -
-
it's okay to stan keto while hating on nutritional science we won't hurt you
-
it’s 100% not that I’m privileging a diet in which members of my species are excluded as food
- 1 more reply
New conversation -
-
-
Christopher Alexander's grand unified theory of order is interesting because it's actually grounded in messy reality, aimed at returning to even messier reality
- End of conversation
New conversation -
-
-
Incoherent things are to be properly labeled and the contrast to be very clearly specified (e.g. quantum physics vs relativity)
-
wrongfully arrested for vandalism just because I was going around the world with my two rubber stamps that say “incoherent” and “coherent”
- 2 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.