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

Groups > sci.logic > #341913

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

Cross-posted to 3 groups.

Show all headers | View raw

Am Montag000010, 10.11.2025 um 18:01 schrieb Ross Finlayson:
...
>>> 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.
>>>
>>>
>>
> 
> I never even heard of "set theory" until my mid-20's,
> of course though "sets" were introduced in 7'th grade
> geometry, which was mostly 8'th graders.
> 
> Churchill was the text in the college logic course,
> about the same time I started reading Hegel. I found
> the de Morgan's rules of direct implication most useful.
> I have a copy of it around here. The contrapositive
> is considered the only needful rule.

Churchill had written about logic?>
> So, model theory is defined as there existing a model
> meaning there exists a structure, embodying all matters
> of relation as they may be, of a theory its objects.
> 
> So, Goedel helps show that _ordinary_ theories like
> as after Russell's retro-thesis, can't be consistent
> and complete.

A model and reality are two distinct entities.

Therefore, a model cannot describe reality as reality is, because a 
model is usually way simpler then even the smallest parts of nature are.

So we cannot have both: 'sharpness' of a model and its usability.

If the description is quite good, the model will become practically 
impossible to use. If it should be usable, the model needs to simplify.

Also Goedelian 'completeness' is nonsense, because models of any kind 
can only address some subset of what we could eventually model.

TH

...

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