Skip to main content

New answers tagged

0 votes

Was Kant anticipating Gödel's incompleteness in his antinomies?

There is a connection, through Leibniz's distinction between infinitary and finitary proofs, which is directly related to issue of completeness of arithmetic (Gentzen's 1936 infinitary proof of ...
abracadabra's user avatar

Top 50 recent answers are included