Sujet : Re: The philosophy of computation reformulates existing ideas on a new basis
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 03. Nov 2024, 14:13:31
Autres entêtes
Organisation : -
Message-ID : <vg7str$ce6i$1@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
User-Agent : Unison/2.2
On 2024-11-02 12:47:12 +0000, joes said:
We are still miles away from beginning to talk about the halting
problem. We must first establish mutual agreement on this.
I'd rather hear about the halting problem. I'm reluctant to agree to
your unknown reasoning up front, because you will represent it as
proof you must be right. I can agree to this first step later and
then I will have agreed to everything else.
Just make sure you don't agree with anything that can be later used
for an equivocation fallacy. Which seems to exclude everything said
in English.
-- Mikko