Gödel was quite ahead of his time. Even though he tended to prefer theory over practical applications, it would be really interesting to have his thoughts on prediction and induction as they relate to the recent advances in machine learning.
On the other hand, Incompleteness, which targets a specific subset of all possible truths or derivations, can achieve absolute consistency by avoiding these contradictions. This is because it deliberately excludes certain 'axiomatic regions,' maintaining coherence within its defined scope but at the expense of being incomplete.
Gödel's genius lay in unveiling the deceptive nature of mathematics when navigating these axiomatic territories. His theorems present a profound duality: the local context, where truths are confined to specific axiomatic systems, and the universal context, which can be akin to an 'ultimate truth' in spiritual terms. This ultimate truth transcends individual systems, offering a broader, more holistic understanding.
But the unknowability of that so-called "ultimate truth" implies that it's not offering anything, much less any understanding.
The article says Gödel thought that escape hatch for these contradictions is death, because all the local consistency and rationality hints at some greater consistency that must be there. However, that sounds a lot like wishful thinking.
Here, we might consider shifting our perspective from a purely rational approach to one that embraces intentionality and clarity. The journey from understanding Gödel’s theorems to grappling with the notion of contradictions could be seen as a metaphor for our search for truth. It’s not merely about accumulating information or solving logical puzzles; it's about the intentional pursuit of clarity. This pursuit often takes us beyond the realm of intellectual reasoning into a space where understanding becomes more about intuition and less about calculation.
As we delve deeper into this journey, we arrive at a crucial realization: perhaps the reconciliation of these contradictions and the understanding of 'ultimate truth' is less about logical resolution and more about experiential realization. In this light, truth is not something to be dissected in the confines of rational thought alone but to be lived and experienced. The clarity we seek may not lie in the resolution of logical paradoxes but in embracing the experiential wisdom that comes from directly engaging with these truths.
Thus, while Gödel’s work brilliantly navigates the complexities of logical systems, it also inadvertently points us toward a different kind of resolution - one that is realized not through further analysis but through personal experience. In essence, the journey from completeness to incompleteness, from information to intentionality, leads us to a profound experiential understanding, an ultimate truth that is realized rather than deduced.
> there are truths which, though existent within the system, cannot be proven by it
This isn't what the first incompleteness theorem shows - rather, it shows that such "truths" don't exist within the system in the first place (in other words, there are some models in which a certain statement is true and others in which it is false - at least for first-order logic). Otherwise, this would indeed contradict the completeness theorem, but it doesn't.
I don't want to stop you from making your own metaphysical conclusions, but I'm not sure they're actually supported by the theorems themselves.
The fact that different set of axioms lead to different conclusions is... kind of obvious? And not at all what logicians (or probably anybody) mean by "contradiction". Moreover, incompleteness doesn't at all prevent that. You can take ZFC + CH and ZFC + not(CH), both are incomplete, but they obviously entail different conclusions.
In more standard terminology, there are systems that are free of contradictions, such as Presburger arithmetic or propositional calculus.
Gödel's completeness and incompleteness theorems are really about entirely different things, completeness is about first-order logic as a system, incompleteness is about consistent, effectively axiomatisable theories of sufficient strength.
For a possibly not useless proxy, train an LLM on his oeuvre and ask it.
LLM is a language model, not Deep Thought from the hitchhikers guide.
all major LLMs are likely already trained on his works, so you can already ask: "Hi, ChatGPT, pretend to be Kurt Godel"