Re: Happy Recovery

From	"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups	comp.theory, sci.logic
Subject	Re: Happy Recovery
Date	2026-08-10 13:12 -0700
Organization	A noiseless patient Spider
Message-ID	<115dbal$3ed39$3@dont-email.me> (permalink)
References	<1157i2v$1k7lt$1@dont-email.me> <csKdS.220$Tjb8.73@fx07.ams4> <1158654$4pjc$1@solani.org> <115br7j$2tilv$4@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

On 8/9/2026 11:31 PM, Fred. Zwarts wrote:
> Op 08.aug.2026 om 23:13 schreef polcott:
>> 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 
> 
> You told us that this sentence has no truth value, because of a 
> pathological self-reference with the word 'I'.
> 
>  >> figuring out how to make the body of> general knowledge fully 
> computable from first principles.
>>
>> I can now explain 
> 
> Again a pathological self-reference. Can we assume that you mean no 
> truth value? Is it not true?
Not sure.

[...]

Back to comp.theory | Previous | Next — Previous 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