Not Ross Finlayson: Pioneers Cliff B. Jones (Re: T-theory A-theory theatheory)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.logic, sci.math, sci.physics.relativity
Subject	Not Ross Finlayson: Pioneers Cliff B. Jones (Re: T-theory A-theory theatheory)
Date	2025-11-09 21:20 +0100
Message-ID	<10eqt20$73o5$3@solani.org> (permalink)
References	<dKqcnTafh9KZJZr0nZ2dnZfqnPqdnZ2d@giganews.com> <fNGdnVrpqJtMU5f0nZ2dnZfqn_udnZ2d@giganews.com> <srednZF_RO5Y3pP0nZ2dnZfqnPFh4p2d@giganews.com>

Cross-posted to 3 groups.

Show all headers | View raw

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.

Back to sci.math | Previous | Next — Next in thread | Find similar | Unroll thread

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