Category Archives: Systems

Re: Richard J. Lipton • The Future Of Mathematics? • Is The End Near? Re: “Proofs Are Not As Important As Discoveries” (PANAIAD). Conjecture and Discovery fall under the heading of Abductive Inference (AI’s missing grape). About which more when I pull … Continue reading →

Re: Ontolog Forum • Michael DeBellis Questions about Abduction in AI and Computer Science raised in the Ontolog Forum prompted me to look up previous discussions tracing the integral relationship among information, inquiry, and the three types of inference.  Here’s … Continue reading →

Re: Ontolog Forum • Michael DeBellis • Adrian Walker MDB: I’m currently auditing a fascinating seminar at Berkeley on Semiotics and Information Theory.  Mostly we are focusing on C.S. Peirce although we’ve also explored other theories such as Shannon’s Information Theory.  … Continue reading →

Re: Gil Kalai • Avi Wigderson : Integrating Computational Modeling, Algorithms, and Complexity into Theories of Nature Marks a New Scientific Revolution! I took a look at Avi’s paper “On the Nature of the Theory of Computation” (OtNotToC).  There is … Continue reading →

Re: Gil Kalai • Avi Wigderson : Integrating Computational Modeling, Algorithms, and Complexity into Theories of Nature Marks a New Scientific Revolution! Projects giving a central place to computation in scientific inquiry go back to Hobbes and Leibniz, at least, … Continue reading →

Re: Artem Kaznatcheev • Reductionism : To Computer Science From Philosophy The sense of reduction operative in complexity theory has its roots in Aristotle’s απαγωγη, variously translated as abduction or reduction and sometimes glossed as retroduction by C.S. Peirce.  See my … Continue reading →