In the hospital with pneumonia for three weeks recovering at home on oxygen

From	olcott <polcott333@gmail.com>
Newsgroups	comp.theory, sci.logic
Subject	In the hospital with pneumonia for three weeks recovering at home on oxygen
Date	2026-08-08 10:30 -0500
Organization	A noiseless patient Spider
Message-ID	<1157i2v$1k7lt$1@dont-email.me> (permalink)

Cross-posted to 2 groups.

Show all headers | View raw

-- 
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 comp.theory | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

In the hospital with pneumonia for three weeks recovering at home on oxygen olcott <polcott333@gmail.com> - 2026-08-08 10:30 -0500
  Happy Recovery (was: Re: In the hospital with pneumonia for three weeks recovering at home on oxygen) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-09 02:20 +0800
    Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-08 16:13 -0500
      Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-10 05:40 +0800
        Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-09 18:07 -0500
        Re: Happy Recovery "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-10 13:13 -0700
      Re: Happy Recovery "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-08-10 08:31 +0200
        Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-10 08:26 -0500
          Re: Happy Recovery Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-10 07:02 -0700
            Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-10 10:20 -0500
          Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-11 11:22 +0300
            Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-11 07:35 -0500
              Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-12 11:46 +0300
                Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-12 08:36 -0500
                Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-13 10:07 +0300
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-13 04:05 -0500
              Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 01:55 +0800
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-14 16:25 -0500
          Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 01:49 +0800
            Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-14 16:22 -0500
              Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 13:31 +0800
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-15 05:33 -0500
                Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 19:26 +0800
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-15 08:32 -0500
                Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 22:36 +0800
                Re: Happy Recovery "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-15 12:33 -0700
              Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-15 10:51 +0300
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-15 05:26 -0500
                Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-16 10:29 +0300
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-16 07:34 -0500
                Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-16 16:03 +0800
                Re: Happy Recovery Alan Mackenzie <acm@muc.de> - 2026-08-16 12:52 +0000
                Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-16 21:20 +0800
                Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-21 12:36 -0500
                Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-22 02:17 +0800
                Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-21 15:02 -0500
                Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-22 07:35 +0800
                Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-21 21:41 -0500
        Re: Happy Recovery "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-10 13:12 -0700

csiph-web