Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers
De : james.g.burns (at) *nospam* att.net (Jim Burns)
Groupes : sci.mathDate : 29. Nov 2024, 19:12:39
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <8e01e0ac-80d7-4e82-aac1-36dc616804bc@att.net>
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 : Mozilla Thunderbird
On 11/29/2024 1:08 PM, Jim Burns wrote:
On 11/27/2024 4:33 PM, WM wrote:
On 27.11.2024 20:47, Jim Burns wrote:
Finite cardinals can change by 1
The cardinal |ℕᶠⁱⁿ| cannot change by 1
>
Small wonder.
Fuzzy properties like "many" cannot change by 1.
⎛ ℕᶠⁱⁿ is the set of finite cardinals.
⎜ Bob is not a cardinal.
⎜
⎜ ∀ᶜᵃʳᵈξ: ξ ∈ ℕᶠⁱⁿ ⇔
⎜ ⟦0,ξ⦆∪{Bob} ≠ ⟦0,ξ⟧ ∧ |⟦0,ξ⦆∪{Bob}| ≠ |⟦0,ξ⟧|
⎜
⎝ ℕᶠⁱⁿ∪{Bob} ≠ ℕᶠⁱⁿ ∧ |ℕᶠⁱⁿ∪{Bob}| = |ℕᶠⁱⁿ|
Dammit. Someone fire the editor.
Better:
⎛ ℕᶠⁱⁿ is the set of finite cardinals.
⎜ Bob is not a cardinal.
⎜
⎜ ∀ᶜᵃʳᵈξ: ξ ∈ ℕᶠⁱⁿ ⇔
⎜ ⟦0,ξ⦆∪{Bob} ≠ ⟦0,ξ⦆ ∧ |⟦0,ξ⦆∪{Bob}| ≠ |⟦0,ξ⦆|
⎜
⎝ ℕᶠⁱⁿ∪{Bob} ≠ ℕᶠⁱⁿ ∧ |ℕᶠⁱⁿ∪{Bob}| = |ℕᶠⁱⁿ|