Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #141323
| From | phoenix <j63840576@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 12:56 -0600 |
| Message-ID | <n7gvv6F4vraU11@mid.individual.net> (permalink) |
| References | <10tvbo9$20g8l$2@dont-email.me> <10tvq1k$25c6m$1@dont-email.me> <10u03uk$28eis$1@dont-email.me> <10uvcrv$n0bp$1@dont-email.me> <10uvfag$ntt9$1@dont-email.me> |
Cross-posted to 6 groups.
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: 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? -- 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
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