Tuesday, August 23, 2011

There is a recursively enumerable set that is not recursive.


(A statement of Godel's incompleteness theorem)

No comments: