Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings

From	olcott <polcott333@gmail.com>
Newsgroups	comp.theory, comp.ai.philosophy, sci.logic, sci.math.symbolic, sci.math, sci.lang
Subject	Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings
Date	2026-05-24 14:05 -0500
Organization	A noiseless patient Spider
Message-ID	<10uvi5b$ou64$1@dont-email.me> (permalink)
References	(1 earlier) <10tvq1k$25c6m$1@dont-email.me> <10u03uk$28eis$1@dont-email.me> <10uvcrv$n0bp$1@dont-email.me> <10uvfag$ntt9$1@dont-email.me> <n7gvv6F4vraU11@mid.individual.net>

Cross-posted to 6 groups.

Show all headers | View raw

On 5/24/2026 1:56 PM, phoenix wrote:
> olcott wrote:
>> On 5/24/2026 12:34 PM, Richard Damon wrote:
>>> olcott <polcott333@gmail.com> wrote:
>>>> On 5/12/2026 1:03 PM, dart200 wrote:
>>>>> On 5/12/26 6:59 AM, olcott wrote:
>>>>>> Olcott thesis: Every element of the body of knowledge
>>>>>> that can be expressed in language can be expressed as
>>>>>> relations between finite strings.
>>>>>>
>>>>>> I propose that a concrete counter example to this these
>>>>>> is categorically impossible.
>>>>>>
>>>>>
>>>>> DD halts and it's not outside the body of knowledge that can be
>>>>> expressed in language
>>>>>
>>>>
>>>> Can Carol correctly answer “no” to this (yes/no) question?
>>>> E C R Hehner. Objective and Subjective Specifications
>>>> WST Workshop on Termination, Oxford.  2018 July 18.
>>>> See https://www.cs.toronto.edu/~hehner/OSS.pdf
>>>>
>>>> As input DD to proof theoretic halt prover HHH it specifies
>>>> infinitely recursive simulation this PTS requires input DD
>>>> to HHH to be rejected as not being grounded in a truth value.
>>>>
>>>> This is not the case for the proof theoretic halt prover pair
>>>> HHH1/DD.
>>>>
>>>
>>>
>>> Which just proves that a “proof theoretic halt prover” isn’t a “Halt
>>> Decider” per the definitions of the field, and you are just admitting 
>>> that
>>> you are nothing but a life-long pathological liar.
>>>
>>> You declared life long goal is proven to be just a lie, unless you admit
>>> that your stupidity by trying to exclude the existence of Mathematics 
>>> and
>>> its properties as part of “the body of knowledge”, as Mathematics 
>>> clearly
>>> exists within the body of knowledge, and it proves that there exist some
>>> statements which HAVE an actual existing truth value per the 
>>> definition of
>>> the word, just a value that we do not, and can not know let alone
>>> compute/prove.
>>>
>>> Your whole world is just based on LIES and ignoring things you can’t
>>> understand,
>>>
>>
>> When we exclude the logically impossible from what
>> we call limitations then computer science has no
>> actual limitations, PA is complete, and every element
>> of the body of knowledge expressed in language is
>> definable.
> 
> Computer science still has limitations. Complete the following 
> pseudocode in under one minute on anything except a quantum computer:
> 

That is not computer science, it is the current
state of the art of hardware implementation.

Everything that is NOT computable on the basis of finite
string transformations is outside of the scope of computation.
Computability has never been concerned with the time that
a computation takes as long as this time is finite.

> n_0 = 1
> for i = 1 to 1 zillion billion
>    n_i = n_(i-1) + 2
> 
> I call it a limitation if you can't execute in under one minute. What do 
> you call it?
> 


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

Thread

Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-05-12 08:59 -0500
  Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings dart200 <user7160@newsgrouper.org.invalid> - 2026-05-12 11:03 -0700
    Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-05-12 15:52 -0500
      Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings dart200 <user7160@newsgrouper.org.invalid> - 2026-05-13 08:03 -0700
        Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-05-13 10:32 -0500
          Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings dart200 <user7160@newsgrouper.org.invalid> - 2026-05-13 08:39 -0700
            Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-05-13 11:02 -0500
              yes another possible ct-thesis hole? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-13 09:45 -0700
              yet another possible ct-thesis hole??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-13 09:49 -0700
              Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings Richard Damon <richard@damon-family.org> - 2026-05-24 17:49 +0000
                Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-24 14:21 -0700
      Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings Richard Damon <richard@damon-family.org> - 2026-05-24 17:34 +0000
        Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-05-24 13:16 -0500
          Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings phoenix <j63840576@gmail.com> - 2026-05-24 12:56 -0600
            Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-05-24 14:05 -0500
              Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings phoenix <j63840576@gmail.com> - 2026-05-24 13:11 -0600
                Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-05-24 14:16 -0500
            Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings dart200 <user7160@newsgrouper.org.invalid> - 2026-05-24 14:36 -0700
              Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings phoenix <j63840576@gmail.com> - 2026-05-24 15:45 -0600
                Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings dart200 <user7160@newsgrouper.org.invalid> - 2026-05-24 23:26 -0700
                Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-05-25 09:18 -0500
          Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings Richard Damon <richard@damon-family.org> - 2026-06-23 11:36 +0000
  Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings Mikko <mikko.levanto@iki.fi> - 2026-05-26 10:56 +0300
    Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-05-26 09:01 -0500
      Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-26 08:37 -0700
        Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-05-26 10:50 -0500
          Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-26 09:31 -0700
            Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-05-26 12:05 -0500
              Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-26 22:54 -0700
      Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings Mikko <mikko.levanto@iki.fi> - 2026-05-27 10:21 +0300
  Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-14 13:52 +0100
    Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-06-14 08:12 -0500
    Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-06-15 20:50 -0500
    Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-06-19 13:13 -0500
      Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-06-19 19:15 -0500
      Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> - 2026-06-20 09:37 -0500
        Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings Mikko <mikko.levanto@iki.fi> - 2026-06-21 12:32 +0300

csiph-web