Reed's Ruminations: The Past, Present, and Future
Reflections on science, technology, and computing — leavened by personal experience
Tag: first order predicate logic
-
Just the Facts, Ma’am: Reasoning is Not Dead, Jim
Establishing actual facts (a neologism, for sure) is the essential prerequisite for fact-based reasoning.