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

Groups > comp.theory > #143269

Happy Recovery (was: Re: In the hospital with pneumonia for three weeks recovering at home on oxygen)

Subject Happy Recovery (was: Re: In the hospital with pneumonia for three weeks recovering at home on oxygen)
Newsgroups comp.theory, sci.logic
References <1157i2v$1k7lt$1@dont-email.me>
From Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid>
Organization Watcom Pro Ltd.
Message-ID <csKdS.220$Tjb8.73@fx07.ams4> (permalink)
Date 2026-08-09 02:20 +0800

Cross-posted to 2 groups.

Show all headers | View raw

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!
-- 
Johann | email: invalid -> com | http://www.myrkraverk.com/blog/
I'm not from the Internet, I just work there. | via Easynews.com
https://bsky.app/profile/myrkraverk.bsky.social | for ( ;; ) _:;

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 "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-10 13:12 -0700

csiph-web