ESOKERIC

Archive / mathematical writing

← BACK TO INDEX
COLLECTION / 01

Proofs,
carefully made.

A growing record of formal arguments—from foundational techniques to real analysis and whatever comes next.

02 PARTS · 16 ENTRIES · 07 PAGES
COMPLETE EDITION / FOUNDATIONS → ANALYSIS

One continuous
proof portfolio.

Sixteen arguments reconstructed from the source PDFs with a shared format, continuous numbering, and neutral presentation.

BROWSE THEOREMS ↓OPEN COMPLETE PORTFOLIO ↗DOWNLOAD PDF ↓DOWNLOAD LATEX SOURCE ↓
THE PROOF INDEX

Select a theorem.

Filter by method, then choose any statement to read its proof in the original typeset document.

CURRENTLY ON THE BLACKBOARD

Unfinished
business.

Questions under study, arguments in draft, and a few results still declining to cooperate.

  1. 01 / COMPACTNESSBolzano–Weierstrass and the strange power of subsequencesNOTES IN PROGRESS
  2. 02 / CARDINALITYCantor’s diagonal argument and different sizes of infinityEXPLORING
  3. 03 / FIXED POINTSWhen a transformation is forced to leave something unchangedEARLY SKETCHES
  4. 04 / OPEN QUESTIONThe next theorem that refuses to be obviousAWAITING PROVOCATION