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


Groups > sci.logic > #346131

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 sci.logic, sci.lang, comp.theory, comp.ai.philosophy, sci.math
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-26 09:01 -0500
Organization A noiseless patient Spider
Message-ID <10v4933$24egb$1@dont-email.me> (permalink)
References <10tvbo9$20g8l$2@dont-email.me> <10v3jmj$1ubq9$2@dont-email.me>

Cross-posted to 5 groups.

Show all headers | View raw


On 5/26/2026 2:56 AM, Mikko wrote:
> On 12/05/2026 16:59, 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.
> 
> You should be able to prove your thesis from reasonable definitions.
> 

Then Church-Turing should prove theirs.

To the structuralists, meaning is a not an
inherent aspect of a concept, but rather a
property of the relationships between the
concept and all other concepts.

This framework originated with the Swiss
linguist Ferdinand de Saussure.

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

Back to sci.logic | Previous | NextPrevious 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 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