HELP: restore my faith in Python
Moshe Zadka
moshez at math.huji.ac.il
Tue Mar 7 00:58:29 EST 2000
On 7 Mar 2000, Michael Hudson wrote:
> Food for thought: the computable numbers are countable.
>
> Proof left as an excercise for the reader (it's not hard!).
>
> (Is it even meaningful to ask whether they are [recursively]
> enumerable?)
They are, with the classical diagonal argument.
--
Moshe Zadka <mzadka at geocities.com>.
http://www.oreilly.com/news/prescod_0300.html
More information about the Python-list
mailing list