Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | sci.logic, sci.math, sci.physics.relativity |
| Subject | Re: Not Ross Finlayson: Pioneers Cliff B. Jones (Re: T-theory A-theory theatheory) |
| Date | 2025-11-09 22:04 -0600 |
| Organization | A noiseless patient Spider |
| Message-ID | <10ero8d$3odtt$2@dont-email.me> (permalink) |
| References | <dKqcnTafh9KZJZr0nZ2dnZfqnPqdnZ2d@giganews.com> <fNGdnVrpqJtMU5f0nZ2dnZfqn_udnZ2d@giganews.com> <srednZF_RO5Y3pP0nZ2dnZfqnPFh4p2d@giganews.com> <10eqt20$73o5$3@solani.org> <r7CdnQUUTfxWsIz0nZ2dnZfqnPGdnZ2d@giganews.com> |
Cross-posted to 3 groups.
On 11/9/2025 6:11 PM, Ross Finlayson wrote: > On 11/09/2025 12:20 PM, Mild Shock wrote: >> Hi, >> >> Since LiquidHaskell, VerseCalculus, etc.. have >> the tasted of reinventing the wheel, and still >> gloriously failing, I will start a series of >> >> Pioneers of Program Formalization, and begin >> with Cliff B. Jones (born 1 June 1944) is a British >> computer scientist. This piece looks a little >> >> archaic, but is full of funny examples: >> >> 4.1.2 Examples >> Basic statements: >> a := p+q >> goto Naples >> START:CONTINUE:W := 7.993 >> >> A formal Definition of Algol 60 >> August 1972 - Cliff B. Jones et al. >> http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Other-TRs/ >> TR12.105.pdf >> >> >> This post is especially a donation to Ross Finlayson, >> who still is seeking consistent foundationalism, >> as if Russell had written the Letter to Frege, >> >> just yesterday, while a computer program might >> simply goto Naples. >> >> Bye >> >> Ross Finlayson schrieb: >>> On 11/04/2025 08:12 PM, Ross Finlayson wrote: >>> Farewell, RF. I look forward to observing the intellectual impact of >>> your work on the T-theory, A-theory, theatheory thread. > > He's a real nowhere man / > Sitting in his nowhere land / > Making all his nowhere plans / > for nobody > > > I don't go looking for paradoxes, > since there aren't any in a real theory, > contradictions though automatically > make for counterexamples, then about > the "analytical bridges", > or ponts is what I call them, > not the "invincible ignorance". > > > The "A-Theory" is consistent foundationalism, > and complete, yay, even constant and concrete. > > test -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Not Ross Finlayson: Pioneers Cliff B. Jones (Re: T-theory A-theory theatheory) Mild Shock <janburse@fastmail.fm> - 2025-11-09 21:20 +0100
Re: Not Ross Finlayson: Pioneers Cliff B. Jones (Re: T-theory A-theory theatheory) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-09 16:11 -0800
Re: Not Ross Finlayson: Pioneers Cliff B. Jones (Re: T-theory A-theory theatheory) olcott <polcott333@gmail.com> - 2025-11-09 22:04 -0600
Halting Problem Solved: Automatic Counter Examples (Re: Not Ross Finlayson: Pioneers Cliff B. Jones) Mild Shock <janburse@fastmail.fm> - 2025-11-10 15:49 +0100
Re: Halting Problem Solved: Automatic Counter Examples (Re: Not Ross Finlayson: Pioneers Cliff B. Jones) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-10 09:01 -0800
Re: Halting Problem Solved: Automatic Counter Examples (Re: Not Ross Finlayson: Pioneers Cliff B. Jones) Maciej Woźniak <mlwozniak@wp.pl> - 2025-11-10 18:22 +0100
Re: Halting Problem Solved: Automatic Counter Examples (Re: Not Ross Finlayson: Pioneers Cliff B. Jones) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-10 09:35 -0800
Re: Halting Problem Solved: Automatic Counter Examples (Re: Not Ross Finlayson: Pioneers Cliff B. Jones) Maciej Woźniak <mlwozniak@wp.pl> - 2025-11-10 20:33 +0100
Re: Halting Problem Solved: Automatic Counter Examples (Re: Not Ross Finlayson: Pioneers Cliff B. Jones) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-10 09:41 -0800
Re: Halting Problem Solved: Automatic Counter Examples (Re: Not Ross Finlayson: Pioneers Cliff B. Jones) Thomas Heger <ttt_heg@web.de> - 2025-11-11 08:29 +0100
Re: Halting Problem Solved: Automatic Counter Examples (Re: Not Ross Finlayson: Pioneers Cliff B. Jones) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-11 09:33 -0800
Re: Halting Problem Solved: Automatic Counter Examples (Re: Not Ross Finlayson: Pioneers Cliff B. Jones) Thomas Heger <ttt_heg@web.de> - 2025-11-12 09:04 +0100
Re: Halting Problem Solved: Automatic Counter Examples (Re: Not Ross Finlayson: Pioneers Cliff B. Jones) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-12 18:23 -0800
csiph-web