Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic, sci.math, sci.math.symbolic |
| 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-20 09:37 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <11168it$4seu$1@dont-email.me> (permalink) |
| References | <10tvbo9$20g8l$2@dont-email.me> <110m86g$3jcbu$3@dont-email.me> <11140t1$3gu0m$1@dont-email.me> <1114k4f$3m08s$1@dont-email.me> <1115gg2$3saho$1@dont-email.me> |
Cross-posted to 4 groups.
On 6/20/2026 2:46 AM, Mikko wrote: > On 20/06/2026 02:42, André G. Isaak wrote: >> On 2026-06-19 12:13, olcott wrote: >>> 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? >>>> >>> >>> I avoid terms-of-the-art because they can be misleading. >>> knowledge expressed in language is atomic ideas expressed >>> in language connected together semantically. >> >> This is an extremely peculiar position to take. >> >> The entire reason we have terms of the art is that they, unlike >> colloquial English, are precisely defined within a given field and >> admit no ambiguity. > > Which is a good reason to avoid them when one needs ambiguity for > deception. > When reverse-engineering a brand new foundation for mathematics one derives all kinds of new meanings that have no associated terms. Now that my reverse-engineering process it finally complete and finally has a common basis I can start using terms-of-the-art. A "well founded justification tree" is probably the most important idea in Proof Theoretic Semantics yet PTS itself has a jumble of different terms referring to this idea that vary by author with no unified term. I collected them all together yesterday. -- 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