|
|
Re: UNCOUNTABILITY
Posted:
Dec 23, 2012 3:32 PM
|
|
On Dec 23, 6:06 am, WM <mueck...@rz.fh-augsburg.de> wrote:
<snip>
> Set
> theory demands: Every subset of a countable set is countable.
However, given a collection X and a rule f such that
we can associate a different natural, f(x) to every
x in X, we cannot conclude that f(X) *is* a subset
(it may not be computatable, and we may only
allow computable objects). If you disallow arbitrary
0/1 sequence you must disallow arbitrary subsets.
|
|
