Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.logic > #341903

Halting Problem Solved: Automatic Counter Examples (Re: Not Ross Finlayson: Pioneers Cliff B. Jones)

Cross-posted to 3 groups.

Show all headers | View raw

Hi,

Nice blooper Rossy Boy:

 > 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".

If a theory is consistent, then it has a
model. If it has a counter model, then
it it is inconsisent.

But if it is inconsistent, we don't
know whether it has a counter model,
because we don't know whether the

foundation is consistent, i.e. ZFC etc..

Did you even attend a single logic class?

Bye

P.S.: Under the assumption that the foundation
is consistent, it indeed follows that inconsistency
must have a model. But this model might be

infinite. Not "computable". Otherwise the
Halting Problem could be solved. In the arithmetic
hierarchy counter models are a level higher,

than provability.

Ross Finlayson schrieb:
> 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.
> 
> 

Back to sci.logic | Previous | Next — Previous in thread | 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