In 1931, Kurt Godel proved very remarkable two theorems, regarded to be among the most important results in modern logic, that demonstrate inherent limitations of every formal system capable of modelling basic arithmetic. Godel’s incompleteness theorems are at the heart of the matter of the incompleteness phenomenon which manifests in the forms of undecidability, uncomputability, and unpredictability. In this short essay, I argue for the existence of a general theory of reality. Such a theory, should it exist, must overcome the incompleteness phenomenon completely. This is only possible if we move beyond finitary methods and use the entire hierarchy of infinity.
Agus H Budiyanto