Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #143273
| Subject | Re: Happy Recovery |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| References | <1157i2v$1k7lt$1@dont-email.me> <csKdS.220$Tjb8.73@fx07.ams4> <1158654$4pjc$1@solani.org> |
| From | Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
| Organization | Watcom Pro Ltd. |
| Message-ID | <ht6eS.7409$qo2.6497@fx11.ams4> (permalink) |
| Date | 2026-08-10 05:40 +0800 |
Cross-posted to 2 groups.
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? 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 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. -- 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
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