Re:The Unreasonableness of Math Is Context Independence
by guimplen on Saturday February 12, 2022 @06:21AM
(#30311911)
Why it is even relevant? Godel's incompletness theorem applies to almost any strong formal system with self-referential abilities, so if you want to do a good formalization, you bound to have one that satisfy Godel's theorem requirement.
Re:The Unreasonableness of Math Is Context Independence
by szundi on Saturday February 12, 2022 @07:11AM
(#30312196)
Easy: have you ever had a an epiphany how idiot you were and did not understand what all people told you for a long time? Then you realized something and everything just snapped into place. You now understand all. Paff! An axiom or condition was just changed in you by an experience. Suddenly you get now what others told you. Welcome to an other system of understanding.
I wonder how you square this idea of generalization with Godel's incompleteness theorems?
https://plato.stanford.edu/entries/goedel-incompleteness/