Re:The 8000th Busy Beaver number eludes ZF set theory (2016)
by jepler on Thursday May 03, 2018 @09:31PM
(#16991532)
I think the author intends to say something like: You'd never† run across such a program by uniform random sampling of programs of the appropriate length.
† or, rather, you'd have a vanishingly small probability of doing so
† or, rather, you'd have a vanishingly small probability of doing so