Sujet : Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC --new focus--
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 11. Mar 2024, 17:36:42
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <usn8eu$3mf48$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
User-Agent : Mozilla Thunderbird
On 11/03/24 04:33, olcott wrote:
Then we are back to undecidability being incorrectly construed
as an actual limit to computation.
Proof that a certain thing cannot be computed is always a limit to computation.
For example, you can't compute the colour of the number 4. That is an actual limit to computation.
You can't compute the halting problem. That is an actual limit to computation.