1. Forum
  2. Newsgroups
  3. comp.ai.philosophy

  • Proof of original authorship

    From olcott@[email protected] to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Mon Jan 19 10:49:24 2026
    From Newsgroup: comp.ai.philosophy

    Simply defining Gödel Incompleteness and Tarski Undefinability away V12

    Jun 26, 2020, 4:15:48 PM

    Newsgroups:
    comp.theory,comp.ai.philosophy,comp.ai.nat-lang,sci.lang.semantics

    Message-ID: <[email protected]>

    https://groups.google.com/g/comp.ai.nat-lang/c/p_evEnqowPQ/m/0RHg0UjWAAAJ
    --
    Copyright 2026 Olcott<br><br>

    My 28 year goal has been to make <br>
    "true on the basis of meaning expressed in language"<br>
    reliably computable.<br><br>

    This required establishing a new foundation<br>

    --- Synchronet 3.21b-Linux NewsLink 1.2
  • From Richard Damon@[email protected] to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Tue Jan 20 00:29:19 2026
    From Newsgroup: comp.ai.philosophy

    On 1/19/26 11:49 AM, olcott wrote:
    Simply defining Gödel Incompleteness and Tarski Undefinability away V12

    Jun 26, 2020, 4:15:48 PM

    Newsgroups: comp.theory,comp.ai.philosophy,comp.ai.nat- lang,sci.lang.semantics

    Message-ID: <[email protected]>

    https://groups.google.com/g/comp.ai.nat-lang/c/p_evEnqowPQ/m/0RHg0UjWAAAJ


    In simpler words, if we assume a falsehood, we can prove a falsehood.


    Just simple unsound logic from an unsound mind.
    --- Synchronet 3.21b-Linux NewsLink 1.2