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


Groups > comp.theory > #142914

Re: Olcott's system

From Alan Mackenzie <acm@muc.de>
Newsgroups comp.theory, sci.logic, sci.math
Subject Re: Olcott's system
Followup-To comp.theory
Date 2026-07-14 20:12 +0000
Organization muc.de e.V.
Message-ID <113656h$12vs$3@news.muc.de> (permalink)
References (11 earlier) <1133q26$3v2gm$1@dont-email.me> <1135b7d$2tb1$3@news.muc.de> <1135sci$issv$1@dont-email.me> <1136392$12vs$1@news.muc.de> <11364ef$ljud$2@dont-email.me>

Cross-posted to 3 groups.

Followups directed to: comp.theory

Show all headers | View raw


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

> > matter, you might begin to say things which others can understand and
> > even agree with.

> > Here's a clue - if you stipulate a falsehood, it doesn't thereby become
> > true.  It's one way to lead to a contradiction, from which anything can
> > be proven.

> -- 
> Copyright 2026 Olcott

-- 
Alan Mackenzie (Nuremberg, Germany).

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

Olcott's system "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-07-12 10:11 +0200
  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 Mikko <mikko.levanto@iki.fi> - 2026-07-13 10:22 +0300
        Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 13:51 +0000
          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 "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-13 13:33 -0700
                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) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-14 14:39 -0700
                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
                Re: Olcott's system Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-13 21:27 -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 Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-17 08:44 +0100
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-17 12:43 +0000
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-17 11:55 -0700
                Re: Olcott's system Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-21 15:02 +0100
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-21 16:36 +0000
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-22 11:10 -0600
                Re: Olcott's system Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-22 19:20 +0100
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-22 13:43 -0700
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-22 21:31 +0000
                Re: Olcott's system Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-24 11:42 +0100
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-24 12:24 +0000
            Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:30 +0300
          Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-14 11:19 +0300
            Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-14 12:30 +0000
              Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 10:54 +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 "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-18 00:41 -0700
    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 Mikko <mikko.levanto@iki.fi> - 2026-07-14 11:07 +0300
                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? "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:52 +0300
                Re: Terribly evil lies that kill all life on Earth Mikko <mikko.levanto@iki.fi> - 2026-07-16 11:45 +0300
  Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 11:23 -0500
    Re: Olcott's system inconsistent "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-07-13 08:24 +0200
      Re: Olcott's system inconsistent olcott <polcott333@gmail.com> - 2026-07-13 10:35 -0500
        Re: Olcott's system inconsistent "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-07-22 10:31 +0200

csiph-web