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

Groups > sci.math > #646690

Re: Olcott's system

From olcott <polcott333@gmail.com>
Newsgroups comp.theory, sci.logic, sci.math
Subject Re: Olcott's system
Date 2026-07-14 15:33 -0500
Organization A noiseless patient Spider
Message-ID <11366fl$mait$1@dont-email.me> (permalink)
References (12 earlier) <1135b7d$2tb1$3@news.muc.de> <1135sci$issv$1@dont-email.me> <1136392$12vs$1@news.muc.de> <11364ef$ljud$2@dont-email.me> <113656h$12vs$3@news.muc.de>

Cross-posted to 3 groups.

Show all headers | View raw

On 7/14/2026 3:12 PM, Alan Mackenzie wrote:
> [ Followup-To: set ]
> 
> In comp.theory olcott <polcott333@gmail.com> wrote:
>> On 7/14/2026 2:39 PM, Alan Mackenzie wrote:
>>> In comp.theory olcott <polcott333@gmail.com> wrote:
> 
> [ .... ]
> 
>>>> You always disagree with everything that I say instead
>>>> of trying to understand anything that I say. Quit fucking
>>>> doing that.
> 
>>> Maybe when you start trying to understand the mathematical subject
> 
>> I am replacing all of that nit wit.
> 
> You can't.  You can stipulate all the falsehoods you want, it won't
> affect the fundamental mathematical truths which you so dislike.
> 

P <semantically entails> Q means syntactic
derivation implements semantic entailment
encoded in syntactically the language.
This is the only inference steps allowed.

That defines a whole new process.

>>> matter, you might begin to say things which others can understand and
>>> even agree with.
> 
>>> Here's a clue - if you stipulate a falsehood, 

I am stipulating a whole fucking different set of steps.

> it doesn't thereby become
>>> true.  It's one way to lead to a contradiction, from which anything can
>>> be proven.
> 
>> -- 
>> Copyright 2026 Olcott
> 


-- 
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 general 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

Thread

Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 09:15 -0500
  Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-12 14:30 +0000
    Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 11:13 -0500
      Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-12 16:48 +0000
        Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 11:56 -0500
          Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-13 10:38 +0300
            Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 11:28 -0500
              Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 12:19 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 11:25 -0500
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-15 11:01 -0600
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 12:24 -0500
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-15 13:32 -0600
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 15:34 -0500
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-15 18:10 -0600
                Re: Olcott's system Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-17 12:48 +0100
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:18 +0300
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:13 +0300
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-15 15:28 -0400
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:05 +0300
    Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 10:31 -0500
      Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 16:22 +0000
        Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 11:37 -0500
          Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 20:17 +0000
            Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 15:48 -0500
              Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 21:09 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 18:01 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-14 12:07 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 12:33 -0500
                Re: Olcott's system (not Hobbes) olcott <polcott333@gmail.com> - 2026-07-14 16:56 -0500
                Re: Olcott's system (not Hobbes) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-14 15:38 -0700
                Re: Olcott's system (not Hobbes) olcott <polcott333@gmail.com> - 2026-07-14 17:49 -0500
                Re: Olcott's system (not Hobbes) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-14 17:29 -0700
                Re: Olcott's system (not Hobbes) olcott <polcott333@gmail.com> - 2026-07-14 19:38 -0500
                Re: Olcott's system (not Hobbes) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-14 19:03 -0700
                Re: Olcott's system (not Hobbes) olcott <polcott333@gmail.com> - 2026-07-14 21:12 -0500
                Re: Olcott's system (not Hobbes) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-15 13:03 -0700
                Re: Olcott's system (not Hobbes) olcott <polcott333@gmail.com> - 2026-07-15 15:56 -0500
                Re: Olcott's system (not Hobbes) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-15 20:18 -0700
                Re: Olcott's system (not Hobbes) Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:42 +0300
                Theatheory (not Re: Olcott's system (not Hobbes)) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-16 14:00 -0700
                Re: Theatheory (not Re: Olcott's system (not Hobbes)) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-16 15:28 -0700
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 23:43 -0500
              Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-13 16:03 -0600
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 18:05 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-14 11:51 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:35 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 10:41 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 10:34 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 12:34 +0300
                Re: Olcott's system Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-17 20:10 +0100
          Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-14 12:19 +0300
            Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:45 -0500
              Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 10:43 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 10:35 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:45 +0300
      Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:30 +0300
    Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:26 -0500
      Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 11:06 +0300
        Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 10:47 -0500
          Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:49 +0300
  Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 10:38 -0600
    Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 11:51 -0500
      Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 11:29 -0600
        Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 13:00 -0500
          Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 12:49 -0600
            Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 13:57 -0500
              Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 15:02 -0400
              Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 15:04 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 14:29 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 15:31 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 14:46 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 15:51 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 15:04 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 16:06 -0400
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-13 13:34 -0700
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 14:15 -0600
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-13 11:08 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 11:33 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 16:43 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 11:56 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 17:14 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 12:20 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 20:24 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 17:49 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-14 12:48 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 12:41 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-14 19:39 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:59 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-14 20:12 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 15:33 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-14 20:48 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 16:04 -0500
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:22 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 11:11 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 10:52 -0500
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-15 15:59 -0700
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 11:10 +0300
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-14 10:59 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:19 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 11:16 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 10:54 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 11:13 +0300
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-13 15:36 -0400
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-13 13:45 -0700
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-14 10:57 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:16 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 11:24 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 11:00 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 11:25 +0300
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 13:50 -0600
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 15:08 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 11:31 +0300
              Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 13:25 -0600
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 15:02 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 16:04 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 15:15 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 16:27 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 15:56 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 17:03 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 16:21 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 17:27 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 16:40 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 17:57 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 17:15 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 18:28 -0400
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 15:38 -0600
                Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 16:44 -0500
                Re: Totally clueless about inductive inference? André G. Isaak <agisaak@gm.invalid> - 2026-07-12 15:56 -0600
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 17:10 -0500
                Re: Totally clueless about inductive inference? André G. Isaak <agisaak@gm.invalid> - 2026-07-12 16:31 -0600
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 18:33 -0500
                Re: Totally clueless about inductive inference? André G. Isaak <agisaak@gm.invalid> - 2026-07-12 18:32 -0600
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 19:53 -0500
                Re: Totally clueless about inductive inference? dbush <dbush.mobile@gmail.com> - 2026-07-12 21:00 -0400
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 20:18 -0500
                Re: Totally clueless about inductive inference? dbush <dbush.mobile@gmail.com> - 2026-07-12 21:19 -0400
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 20:23 -0500
                Re: Totally clueless about inductive inference? dbush <dbush.mobile@gmail.com> - 2026-07-12 21:26 -0400
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 20:28 -0500
                Re: Totally clueless about inductive inference? André G. Isaak <agisaak@gm.invalid> - 2026-07-13 08:49 -0600
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-13 10:34 -0500
                Re: Totally clueless about inductive inference? André G. Isaak <agisaak@gm.invalid> - 2026-07-13 10:47 -0600
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-13 12:00 -0500
                Re: Totally clueless about inductive inference? André G. Isaak <agisaak@gm.invalid> - 2026-07-13 11:49 -0600
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-13 12:55 -0500
                Re: Totally clueless about inductive inference? Mikko <mikko.levanto@iki.fi> - 2026-07-14 12:27 +0300
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-14 14:52 -0500
                Re: Totally clueless about inductive inference? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-13 13:56 -0700
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 14:34 -0600
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 15:49 -0500
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-13 13:52 -0700
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 11:30 +0300
                Terribly evil lies that kill all life on Earth olcott <polcott333@gmail.com> - 2026-07-15 11:07 -0500
                Re: Terribly evil lies that kill all life on Earth Alan Mackenzie <acm@muc.de> - 2026-07-15 16:50 +0000
                Re: Terribly evil lies that kill all life on Earth olcott <polcott333@gmail.com> - 2026-07-15 12:19 -0500
                Re: Terribly evil lies that kill all life on Earth Alan Mackenzie <acm@muc.de> - 2026-07-15 17:54 +0000
                Re: Terribly evil lies that kill all life on Earth olcott <polcott333@gmail.com> - 2026-07-15 13:05 -0500
                Re: Terribly evil lies that kill all life on Earth Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-18 11:32 +0100
                Re: Terribly evil lies that kill all life on Earth Mikko <mikko.levanto@iki.fi> - 2026-07-16 11:45 +0300

csiph-web