3 ms·
Kinda, yes, although the implication is typically taken the opposite direction. There are busy beavers who's halting cannot be proven in ZFC! https://scottaar
by cwillu 4y ago
Kinda, yes, although the implication is typically taken the opposite direction. There are busy beavers who's halting cannot be proven in ZFC!
https://scottaaronson.blog/?p=2725 https://scottaaronson.blog/?p=2725