The Library · Mathematics

Mathematics

Pure mathematics as dialogue. Euclid’s elements, Gödel’s incompleteness, the foundations of calculus — not as textbook exercises but as living conversations with the ideas themselves. Ask for proof, ask for intuition, ask why it matters. The text will meet you where you are.

Mathematics · 6 entries

Euclid · c. 300 BC

The most influential mathematics textbook ever written. Definitions, postulates, and 465 propositions built from first principles.

13 booksOpen session →

Gödel’s Incompleteness Theorems

Kurt Gödel · 1931

Any consistent formal system powerful enough to express arithmetic contains true statements it cannot prove. The end of Hilbert’s dream.

2 theoremsOpen session →

The Infinity Expedition

Expedition · Multi-source

Cantor’s paradise, Hilbert’s hotel, and the continuum hypothesis. A guided journey through the mathematics of the infinite.

∞ turnsOpen session →

Principia Mathematica

Whitehead & Russell · 1910–1913

The monumental attempt to derive all mathematics from logic. 362 pages to prove 1 + 1 = 2.

3 volumesOpen session →

A Mathematician’s Apology

G. H. Hardy · 1940

The aesthetic case for pure mathematics. Beauty, permanence, and the melancholy of a great mind past its prime.

~10,000 wordsOpen session →

What Is Mathematics?

Courant & Robbins · 1941

An elementary approach to ideas and methods. Number theory, geometry, topology, calculus — the whole landscape in one book.

8 chaptersOpen session →