[FOM] The 8000th Busy Beaver number eludes ZF set theory?

[Arnon Avron]

FOMers might find the content of the following interesting:

http://www.scottaaronson.com/blog/?p=2725

(Note that according to what is written there, Harvey 
Friedman was strongly involved in the described work).


Arnon Avron