Sujet : Re: Refutation of Strachey’s 1965 Proof Based on Self-Referential Conflation as a Category (Type) Error
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 24. Apr 2025, 09:19:07
Autres entêtes
Organisation : -
Message-ID : <vucs5r$167ao$1@dont-email.me>
References : 1 2 3 4 5
User-Agent : Unison/2.2
On 2025-04-22 10:23:31 +0000, Keith Thompson said:
Mikko <mikko.levanto@iki.fi> writes:
On 2025-04-21 11:18:23 +0000, Mr Flibble said:
[...]
A circular dependency is like a circular argument or circular
reasoning:
not logically sound.
A circular argument is not like a circular argument.
Are you sure about that? 8-)}
I think you meant to write that a circular *dependency* is not like a
circular argument.
You are right. I sometimes make mistekes like that when I think faster
than type.
-- Mikko
Re: Refutation of Strachey’s 1965 Proof Based on Self-Referential Conflation as a Category (Type) Error
Re: Refutation of Strachey’s 1965 Proof Based on Self-Referential Conflation as a Category (Type) Error
