>>13755595Yes, and Voltaire tarred and feathered Leibniz in Candide.
It's important to note the link between the Leibniz-Voltaire tension and the artistic output of agrarian socialism, in particular Socialist Realism.
The utopian meme didn't die when Voltaire killed it; it just grew and grew: after it passed the chicane of Hegel & Mendel, it became Audrey from The Little Shop of Horrors.
https://archive.org/details/LittleShopOfHorrors_201606It's important to note the obvious link between Godel and the German nazis: they made the same error of conflating the ethics of truth with power over choice.
Godel is doing the same thing as Marx without realizing it: he's making use of truth according to the Kantian formula.
Godel published his first big work when he was twenty-five years old.
Think about what that has got to do to a young mind. You've got to defend that work for the rest of your life. In his case, half a century.
His work got creamed by model theory and linguistics. It took essentially forty years for the C programming language to be developed before it became really clear that re-using meta-mathematical terms such as "truth" and "proof" as if they were defined mathematical properties leads to what should be rejected as ungrammatical and hence nonsensical; and half a century after C was developed we can finally see that the common sense of the reserved keyword / variable identifier separation of the C compiler is the same common sense that should be applied to the mathematical / meta-mathematical nomenclature separation.
