News for hackers. Stuff that matters.

A comment on Gödel, Grammar, Go – The Limits of Rules and Facts.

Re:Gödel, Grammar, Go – The Limits of Rules and Facts by cirgue on Tuesday April 18, 2017 @06:23PM (#14143563)
This post contains a cursory discussion of Gödel's incompleteness theorem and a promise to deliver on the title in a subsequent post.
[ Parent | on HN ]
Re:Gödel, Grammar, Go – The Limits of Rules and Facts by adrianratnapala on Wednesday April 19, 2017 @12:19AM (#14145415)
Yes, this has all the hallmarks of the light intro post.

But it has the important take-away that is claiming (and I agree) that we shouldn't be too worried about the fact that some things can't be proven within formal systems. We have what amounts to a huge body of empirical experience that roots our confidence in many things, including set theory.

Indeed we have no real way of giving our stamp of approval to a formal system except by our intuitions about what reason is, as modified by our life experience. And even the innate intuitions are the product of biological evolution, which is another kind of empirical testing process.

[ Parent | on HN ]