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