| Deutsch English Français Italiano |
|
<vucs5r$167ao$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: =?utf-8?Q?Re:_Refutation_of_Strachey=E2=80=99s_1965_Proof_Based_on_Self-Referential_Conflation_as_a_Category_(Type)_Error?= Date: Thu, 24 Apr 2025 11:19:07 +0300 Organization: - Lines: 22 Message-ID: <vucs5r$167ao$1@dont-email.me> References: <3%oNP.2703666$nb1.805417@fx01.ams4> <130c384bc4881eb654343d0ccf3ced6905a90fbb@i2pn2.org> <3QpNP.1081604$B61.671277@fx02.ams4> <vu7kke$7o3q$1@dont-email.me> <878qnsze8s.fsf@nosuchdomain.example.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 24 Apr 2025 10:19:08 +0200 (CEST) Injection-Info: dont-email.me; posting-host="8b323bd0b35eb59ebd32e9261de22c1e"; logging-data="1252696"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/+BXceVJvuxDNgt7/Vud1n" User-Agent: Unison/2.2 Cancel-Lock: sha1:VMtC2bB48oXV/qldoCrVtMfiTxQ= 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