Abstract
It is known from history of mathematics, that Gödel submitted his two incompleteness theorems, which can be considered as one of hallmarks of modern mathematics in 20th century. Here we argue that Gödel incompleteness theorem and its self-referential paradox have not only put Hilbert’s axiomatic program into question, but he also opened up the problem deep inside the then popular Aristotelian Logic. Although there were some attempts to go beyond Aristotelian binary logic, including by Lukasiewicz’s three-valued logic, here we argue that the problem of self-referential paradox can be seen as reconcilable and solvable from Neutrosophic Logic perspective. Motivation of this paper: These authors are motivated to re-describe the self-referential paradox inherent in Godel incompleteness theorem. Contribution: This paper will show how Neutrosophic Logic offers a unique perspective and solution to Godel incompleteness theorem.
Highlights
That is how Gödel’s incompleteness theorem began, see [1], as in neutrosophic triplet: proved, disproved, unprovable (indeterminate)
Interesting? It is in the particular logic of our language, the problem of unprovability and undecidability belong to true problems of Hilbert’s axiomatic program
Whitehead's Principia Mathematica (1910–1913), in the future assigned as PM, contained a proof that the entire of arithmetic can be created based on set hypothesis
Summary
That is how Gödel’s incompleteness theorem began, see [1], as in neutrosophic triplet: proved, disproved, unprovable (indeterminate). It is in the particular logic of our language, the problem of unprovability and undecidability belong to true problems of Hilbert’s axiomatic program.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.