Tell me you donโt have a sense of the implications of Gรถdelโs theorems without telling me https://t.co/IHVAfJm87s
โ Joe Norman (@normonics) April 4, 2022
LOL WUT?
Gรถdelโs theorems are making very narrow and specific points about what can be proven in formal axiomatic theories. They donโt have any deeper meaning. They donโt imply anything. Anyway, Tarskiโs Undefinability Theorem would be better cited as an example here, not Gรถdelโs theorems. And that would still be garbage.
This guy is a dumbass.