I’d argue that it doesn’t impose limits on what can be known in the general case, though.
This is why I say “alone”, although...
That being said, I don’t think it’d be possible to build an infinitely large system of reasoning.
Right, in a practical sense, even if we could in theory build an system capable of infinite hypercompute that could some how work out how to know everything, such a system is physically impossible to build for a variety of reasons, and even more mundane ideal reasoners like AIXI also face the same problem.
This is why I say “alone”, although...
Right, in a practical sense, even if we could in theory build an system capable of infinite hypercompute that could some how work out how to know everything, such a system is physically impossible to build for a variety of reasons, and even more mundane ideal reasoners like AIXI also face the same problem.