People like to make lists of the good things humanity's been getting up to. But they always jabber exclusively about natural-science: hard tech . This is probably because physical apparatus is louder, and life-saving in an obvious way. So: some quiet ( Heideggerian ) technology that was also massive:
Grandest findings of the human sciences
(broadly construed) in their first century:
1931: Maths is not logic.
This doctrine, "Logicism", or "Fregeanism-with-respect-to-the-foundations-of-maths" was a highly impressive attempt to make the world make sense. It consists in the two linked theses:
1. mathematical concepts can be defined in terms of logical ones (no math-primitives) and
2. mathematical principles can be derived from axioms (given definitions of concepts).
Why does this matter? Why did people want it to obtain?
Why is Gödel's incompleteness theorem so renowned?
I suppose logicism matters because we live in a world where the mo...