From olcott@polcott333@gmail.com to comp.theory,sci.logic,sci.math.symbolic,sci.math on Tue Jun 16 22:30:18 2026
From Newsgroup: comp.theory
Talking with a guy that has a PhD in everything
yet has a little bit of dementia.
As long as you remember that they sometimes get
things totally wrong, when you make sure to always
anchor what they say in accepted and established
research they can be enormously helpful linking
ideas across many different domains of knowledge.
--
Copyright 2026 Olcott
My 28 year goal has been to make
"true on the basis of meaning expressed in language"
reliably computable for the entire body of knowledge.
The complete structure of this system is now defined.
The entire body of knowledge expressed in language is
comprised of two types of relations between finite strings:
(a) *Axioms* Expressions of language that are stipulated to be true.
My system bridges the analytic/synthetic distinction by
expressly encoding all empirical "atomic facts" in a formal
language such as CycL of the Cyc project.
(b) *Inference Rules* Expressions of language that are semantically
entailed syntactically from (a) and/or (b).