Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #137430
| From | polcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, comp.lang.c, comp.lang.c++ |
| Subject | New Signature Line |
| Date | 2025-12-09 21:15 -0600 |
| Message-ID | <10haola$1dlps$1@solani.org> (permalink) |
| References | <tic5tr$25uem$6@dont-email.me> <8735bpq5jh.fsf@bsb.me.uk> <O7ucnbvodq24J6X0nZ2dnZfqlJ-dnZ2d@giganews.com> |
Cross-posted to 3 groups.
On 12/9/2025 6:09 PM, olcott wrote: -- Copyright 2025 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable. This required establishing a new foundation for correct reasoning.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Ben's objection finally fully addressed --- much more clearly olcott <NoOne@NoWhere.com> - 2025-12-09 18:09 -0600
New Signature Line polcott <polcott333@gmail.com> - 2025-12-09 21:15 -0600
Re: New Signature Line Richard Damon <Richard@Damon-Family.org> - 2025-12-09 23:04 -0500
Re: New Signature Line olcott <polcott333@gmail.com> - 2025-12-09 23:07 -0600
Re: New Signature Line Richard Damon <Richard@Damon-Family.org> - 2025-12-10 06:59 -0500
Re: New Signature Line olcott <polcott333@gmail.com> - 2025-12-10 07:01 -0600
Re: New Signature Line Richard Damon <Richard@Damon-Family.org> - 2025-12-10 21:14 -0500
csiph-web