timescale.infoGödel's incompleteness theorems
- logic
- european
Any consistent system strong enough for arithmetic has true statements it can't prove, and can't prove its own consistency.
The history of mathematics
From the Ishango bone to formalized proofs: arithmetic, geometry, algebra, analysis, probability, logic and topology across Babylonian, Egyptian, Greek, Indian, Chinese, Islamic and European mathematics and beyond. Moments are tagged by area (and colored by it) and by civilization; eras are shown as spans. Ancient dates are approximate and say so. Summaries are our own; each moment links to its Wikipedia articles.
99 moments · 20000-01-01T00:00:00Z BCE – 2020-01-01T00:00:00Z CE · by @athan · @athan