Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #141325

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

Cross-posted to 6 groups.

Show all headers | View raw

olcott wrote:
> 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.

https://en.wikipedia.org/wiki/Analysis_of_algorithms

"In computer science, the analysis of algorithms is the process of 
finding the computational complexity of algorithms—the amount of time, 
storage, or other resources needed to execute them."

Please admit that you are naïve. You are missing some pieces of the 
puzzle, it is clear to me.

-- 
War in the east
War in the west
War up north
War down south
War War

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

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 André G. Isaak <agisaak@gm.invalid> - 2026-06-19 17:42 -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-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 André G. Isaak <agisaak@gm.invalid> - 2026-06-19 19:31 -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 Mikko <mikko.levanto@iki.fi> - 2026-06-20 10:46 +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-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