3 ms·
Yeah I have read that too. You may be mixing up with chaitins incompleteness though partly. As far as I can tell it has the same quality as busy beaver numbers:
by srcreigh 3y ago
Yeah I have read that too. You may be mixing up with chaitins incompleteness though partly. As far as I can tell it has the same quality as busy beaver numbers: for a given axiomatic system there is a limit. Therefore no system can compute the entire series (aka digits in omega)… yet again what people don’t ever seem to recognize (and I don’t know why not) is that with more powerful formal systems we could in theory calculate arbitrarily many digits of omega.