display all the ideas for this combination of texts
1 idea
12734 | Every necessary proposition is demonstrable to someone who understands [Leibniz] |
Full Idea: Every necessary proposition is demonstrable, at least by someone who understands it. | |
From: Gottfried Leibniz (De arcanus motus [1676], 203), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 6 | |
A reaction: This kind of optimism leads to the crisis of the Hilbert Programme in the 1930s. Gödel seems to have conclusively proved that Leibniz was wrong. What would Leibniz have made of Gödel? |