A very interesting blog post relating Busy Beavers to ZF the axiom system. http://www.scottaaronson.com/blog/?p=2725
Sent from my iPhone ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
