Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| 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-06-14 08:12 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <110m9b9$3l0cd$1@dont-email.me> (permalink) |
| References | <10tvbo9$20g8l$2@dont-email.me> <110m86g$3jcbu$3@dont-email.me> |
Cross-posted to 6 groups.
On 6/14/2026 7:52 AM, Tristan Wibberley wrote: > On 12/05/2026 14: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. >> > > Do you mean a counterexample cannot be "constructed" even when a > constraint on such could be? > No one can provide a counter-example of an element of the body of general knowledge that can be expressed in language that it not a relation between finite strings once the finite list of atomic facts of general knowledge is written down. Once the synthetic side of the analytic/synthetic distinction for body of general knowledge that can be expressed in language is encoded in language then all semantics within this encoded body is expressed as relations between finite strings. -- 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.math | 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 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