Musing on constructing regular pentagon.
Constructible integral degree angles.
Compactness
2 - More consequences of the reals.
Extreme value theorem.
Fundamental theorem of algebra.
Expected length of a binary pattern occurring in a run.
Where did these classical means come from?
Other iterated means - AHM, GHM.
AM, GM, and the AGM.
Lagrange identity.
Partial order.
Cantor-Bernstein theorem.
Cantor theorem.
Central limit theorem.
4 - Encyclopedic sequences.
1 - Dedekind completeness, Archimedean, and denseness of Q.
0 - Some notes on real analysis.
Rationals are Archimedean.
Every Archimedean ordered field is real.
← prev 20 | next 20 → Constructible integral degree angles.
Compactness
2 - More consequences of the reals.
Extreme value theorem.
Fundamental theorem of algebra.
Expected length of a binary pattern occurring in a run.
Where did these classical means come from?
Other iterated means - AHM, GHM.
AM, GM, and the AGM.
Lagrange identity.
Partial order.
Cantor-Bernstein theorem.
Cantor theorem.
Central limit theorem.
4 - Encyclopedic sequences.
1 - Dedekind completeness, Archimedean, and denseness of Q.
0 - Some notes on real analysis.
Rationals are Archimedean.
Every Archimedean ordered field is real.