Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #143356
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Re: Happy Recovery |
| Date | 2026-08-21 15:02 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <116aasl$jk1c$1@dont-email.me> (permalink) |
| References | (8 earlier) <115pes1$gmk0$1@solani.org> <n9egS.341227$h9f1.33726@fx02.ams4> <115sbqe$kc2$1@news.muc.de> <116a2ag$s382$1@solani.org> <xC0iS.735264$h9f1.574367@fx02.ams4> |
Cross-posted to 2 groups.
On 8/21/2026 1:17 PM, Johann 'Myrkraverk' Oskarsson wrote: > On 22/08/2026 1:36 AM, polcott wrote: > >> I am doing much better now. >> > > That's great to hear! Have you decided not to be stupid and spout > nonsense, and start to work on your own non-trivial project, for > whatever passes for non-trivial for you? > > You can always make your own /computer algebra system/ if you need > a mathematically inclined challenge, or pick up graph visualization, > and compete with Graphviz! > > > Happy coding something, anything, practical! I did successfully complete my 28 years of research as outlined below. No one here has even a slight basis for understanding how this work is anchored. Even the smartest guy here: Ross Finlayson is stuck on baseless denigration utterly refusing to obtain the required basis. -- 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 — Previous in thread | Next in thread | Find similar | Unroll 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