Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Python <python@invalid.org>
Newsgroups: sci.logic
Subject: Re: This makes all Analytic(Olcott) truth computable --- truth-bearer
Date: Fri, 30 Aug 2024 17:46:10 +0200
Organization: CCCP
Lines: 22
Message-ID: <vaspg2$e2la$24@dont-email.me>
References: <v86olp$5km4$1@dont-email.me> <v9okho$1i745$10@dont-email.me>
 <60c0214582c7f97e49ef6f8853bff95569774f97@i2pn2.org>
 <v9p7im$1p6bp$4@dont-email.me>
 <d67278caa0b8782725e806b61adf892028f2bf89@i2pn2.org>
 <v9qd2p$1tedb$10@dont-email.me>
 <4d8c7b1c69915ebbe108d7f4e29cf6172eac7759@i2pn2.org>
 <v9qel5$1tedb$13@dont-email.me>
 <43690773dba43c5d93d11635af0a26532e5be390@i2pn2.org>
 <v9qgn7$1tedb$15@dont-email.me> <v9sisj$2bs9m$1@dont-email.me>
 <v9slov$2c67u$3@dont-email.me> <v9uusd$2q1fo$1@dont-email.me>
 <v9vfh4$2rjt1$10@dont-email.me> <va1p24$3bb53$1@dont-email.me>
 <va26l9$3cvgv$5@dont-email.me>
 <bcbebf04fffc6303a7c7b0c9e40738214b92c22e@i2pn2.org>
 <va4nl9$3s0hu$4@dont-email.me> <va79ku$e616$1@dont-email.me>
 <va7e4r$ebdg$5@dont-email.me> <va9hhv$rnd8$1@dont-email.me>
 <vabjtg$18mb5$1@dont-email.me> <vamkj9$3d9h5$1@dont-email.me>
 <van4bn$3f6c0$7@dont-email.me> <vapahi$3t794$1@dont-email.me>
 <vaptg0$3vumk$1@dont-email.me> <vashs2$gt3t$1@dont-email.me>
 <vasluc$hg5i$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 30 Aug 2024 17:46:11 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f01e2221d99b21c0754b16fe041d7c3a";
	logging-data="461482"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/0i+G18DoV32qrAnPMAk73"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:1FXDZaYpZTRhu4uIm9gxs36mcUs=
Content-Language: en-US
In-Reply-To: <vasluc$hg5i$1@dont-email.me>
Bytes: 2531

Le 30/08/2024 à 16:45, olcott a écrit :
....
> Quine atoms (named after Willard Van Orman Quine) are sets that only 
> contain themselves, that is, sets that satisfy the formula x = {x}.
> https://en.wikipedia.org/wiki/Urelement#Quine_atoms
> 
> Wrongo. This is exactly isomorphic to the incoherent notion of a
> can of soup so totally containing itself that it has no outside
> boundary.

It is not that incoherent. It can be done in programming. Here in
Python 3 :

 >>> s = list()
 >>> s.append(s)
 >>> s
[[...]]
 >>> s in s
True