References:
Wikipedia: https://en.wikipedia.org/wiki/Douglas_Lenat
Knowledge is “…contextualized logical axioms (in the formal language, CycL) based on extensions to first-order predicate calculus, and then use that enormous ontology, inference engine…” -DBL
First email: October 6, 2018 at 1:50 PM
Dear Doug,
I now have open on my desktop your PhD dissertation, the summary about you within Wikipedia, and some of your current work. My work within AI and quantum computing is introductory at best, yet to learn quickly I try to find the best teachers, but then ask, “What are we missing?”
Now, who am I? Access to my somewhat full-disclosure starts here. I also know full well that my work since 2011 is idiosyncratic. I have been looking for somebody to dismember the logic. People seem so afraid to engage. I don’t think you would be. Perhaps you can guide me back to the straight and narrow.
We all grew up with Euclid’s Axioms where space is homogeneous, isotropic and unbounded. Newton and Hawking adopted the logic. Yet, if we adopt the dimensionless constants like pi, boundaries are introduced with the Planck base units and our most-current time (the Now).
Using that same line of thought, should (or could) algorithms also be contained by that application of base-2?
Most sincerely,
Bruce
****************