News for hackers. Stuff that matters.
Re:The Unreasonableness of Math Is Context Independence by danielmorozoff on Saturday February 12, 2022 @04:29AM (#30311353)
>So perhaps the best way to build efficient abstractions in systems is to think about the flow of the system in terms of axioms and conditionals. The abstractions are axioms that can be grouped together and the conditionals are the boundaries between them.

I wonder how you square this idea of generalization with Godel's incompleteness theorems?

https://plato.stanford.edu/entries/goedel-incompleteness/

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.