Re:Gödel's Theorem
by clairity on Wednesday January 30, 2019 @09:58PM
(#19041903)
> “There is a profound sense that there is no mode of reasoning (nevermind just the mechanical deductivism) that can completely capture all expressible truths without reaching contradiction.”
but you’re extrapolating beyond godël’s incompleteness theorem here, which only makes that sort of assertion for axiomatic systems, as the article exhorts not to do, do you not?
what does seem self-evident is that logical systems cannot encompass the whole of human experience (yet?) so we continue to search for a more complete system of thinking. godël’s work probably is only incidental to this, not a completely explanatory theory.
but you’re extrapolating beyond godël’s incompleteness theorem here, which only makes that sort of assertion for axiomatic systems, as the article exhorts not to do, do you not?
what does seem self-evident is that logical systems cannot encompass the whole of human experience (yet?) so we continue to search for a more complete system of thinking. godël’s work probably is only incidental to this, not a completely explanatory theory.