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

Groups > comp.theory > #143274

Re: Happy Recovery

From polcott <polcott333@gmail.com>
Newsgroups comp.theory, sci.logic
Subject Re: Happy Recovery
Date 2026-08-09 18:07 -0500
Message-ID <115b16s$6o2b$1@solani.org> (permalink)
References <1157i2v$1k7lt$1@dont-email.me> <csKdS.220$Tjb8.73@fx07.ams4> <1158654$4pjc$1@solani.org> <ht6eS.7409$qo2.6497@fx11.ams4>

Cross-posted to 2 groups.

Show all headers | View raw

On 8/9/2026 4:40 PM, Johann 'Myrkraverk' Oskarsson wrote:
> On 09/08/2026 5:13 AM, polcott wrote:
>> On 8/8/2026 1:20 PM, Johann 'Myrkraverk' Oskarsson wrote:
>>> On 08/08/2026 11:30 PM, olcott wrote:
>>>
>>>  > 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).
>>>
>>> Do I understand you correctly, that you plan to make a compiler for
>>> the ML language from 1997?  Which stands for M.L., the /meta language/,
>>> and never /machine learning/.
>>>
>>>
>>> Happy compiler making!  I can point you in some directions, but I
>>> believe you have the basics covered!
>>
>> I spent 28 years figuring out how to make the body of
>> general knowledge fully computable from first principles.
> 
> 
> And which principles are those exactly?  

To make it simple enough for laymen I simply take all of
the ideas of general knowledge and connect them together.
Computing general knowledge merely requires following these
preexisting connections.

> I admit I'm not a theoretical
> creature, and prefer to implement the theory in either C or Common Lisp,
> though sometimes I dabble in comp.lang.ml.
> 

I have been a C++ software engineer for decades. I am a self-taught
computer scientist in the theory of computation for the last ten
years.

>> I can now explain my work in terms of adaptations and
>> improvements to the ideas of five foundational proof
>> theoretic papers by Dag Prawitz, Thomas Piecha and
>> Peter Schroeder-Heister.
>>
> 
> I've heard of none of these guys.  Have you read /Handbook of Practical
> Logic and Automated Reasoning/ by John Harrison?  I admit I'm still
> reading the Introduction, so don't expect me to comment much on the book
> just yet.
> 

My ideas get enormously technically deeper than anything
currently published. I worked entirely on the basis of
reverse-engineering from first principles. In other words
I mostly ignored all of the work of others and started
totally from scratch.

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

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 Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-27 15:33 +0800
                Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-27 06:57 -0500
                Re: Happy Recovery Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-27 08:22 -0700
                Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-28 11:34 -0500
        Re: Happy Recovery "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-10 13:12 -0700

csiph-web