how to ask
MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
Return to Answer
[made Community Wiki]
Jul 19 2010 at 4:51
Tibor Rado introduced the busy beaver function and proved its noncomputablity at the age of 67.
User contributed content licensed under the
Creative Commons Attribution-Share Alike 3.0 Unported License