1. Forum
  2. USENET
  3. sci.logic

  • Proof of original authorship

    From olcott@polcott333@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Mon Jan 19 10:49:24 2026
    From Newsgroup: sci.logic

    Simply defining G||del Incompleteness and Tarski Undefinability away V12

    Jun 26, 2020, 4:15:48rC>PM

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

    Message-ID: <tpudnRZeLeDg-GvDnZ2dnUU7-V3NnZ2d@giganews.com>

    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.21a-Linux NewsLink 1.2
  • From Richard Damon@Richard@Damon-Family.org to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Tue Jan 20 00:29:19 2026
    From Newsgroup: sci.logic

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

    Jun 26, 2020, 4:15:48rC>PM

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

    Message-ID: <tpudnRZeLeDg-GvDnZ2dnUU7-V3NnZ2d@giganews.com>

    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.21a-Linux NewsLink 1.2