1. Forum
  2. USENET
  3. comp.theory

  • Interacting with LLMs is like...

    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).

    --- Synchronet 3.22a-Linux NewsLink 1.2