logoalt Hacker News

bulbartoday at 5:22 AM0 repliesview on HN

Why the belittling language? You actually can prove the completeness and consistency of portions of mathematics.

While axioms were known in ancient times, only Hilbert started the whole "prove Mathematics" thing.

How else would you prove mathematics and why would that be childish to use math? The limitations discovered were quite surprising back then.