Sujet : Re: Replacement of Cardinality
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.logic sci.mathDate : 24. Aug 2024, 18:06:45
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <144dfdff584a2042bbdfec61a3f72bd6e5a31b96@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
On 8/23/24 10:28 AM, WM wrote:
Le 22/08/2024 à 16:22, FromTheRafters a écrit :
WM used his keyboard to write :
In a linear order of elements which all have distances from each other, there is necessarily a last one (if nothing follows) because the only alternative would be more than one.
>
You are thinking finitely again.
>
Logic is finite.
Regards, WM
Logic uses finite steps, but can process the infinite, unless you logic is limited by rules that limit it to processing finite things.
This is the whole idea of induction, that can prove in a finite number of steps what would otherwise require an infinite number of steps.
I guess by your finite logic, Achilles can't pass the tortoise, since everytime he gets to where the tortoise was, the tortoise has moved forward, so no matter how many times your resolve that cycle, he never gets to the tortoise.