fom
Posts:
1,969
Registered:
12/4/12


Re: Distinguishability of paths of the Infinite Binary tree???
Posted:
Dec 26, 2012 4:03 PM


On 12/26/2012 2:34 PM, Virgil wrote: > In article > <4ff1889fbaa943d798ddf97cd3a8bad4@a8g2000vby.googlegroups.com>, > WM <mueckenh@rz.fhaugsburg.de> wrote: > > > Or does WM claim a definition of countability other than the standard > one? >
He does. He stated it.
A set is countable iff it is a subset of a countable set.
Infinite sets are, therefore, if they exist, uncountable.
Claims of nonexistence, of course, are just as metaphysical as claims of existence. WM is an empiricist.

