Posts
- Sat 30 May 2020 - The Krull Topology Uses Finite Fixed Fields as Neighbourhoods
- Wed 20 May 2020 - Gödel Completeness Identifies Semantic and Syntactic Consequence
- Fri 25 August 2017 - Forward Euler Uses One Tangent Step - updated: Fri 15 May 2020
- Tue 14 April 2020 - Prüfer Codes Count Labeled Trees
- Tue 07 April 2020 - Strong Components Form an Acyclic Condensation
- Sun 29 March 2020 - Étale Morphisms Are Algebraic Local Isomorphisms
- Mon 02 May 2016 - A Minimal Polynomial Is the Kernel of Evaluation - updated: Mon 02 March 2020
- Sat 10 August 2013 - Uniform Boundedness Turns Pointwise Bounds into an Operator-Norm Bound - updated: Fri 28 February 2020
- Wed 29 January 2020 - A p-Adic Integer Is an Infinite Base-p Expansion
- Sun 11 November 2018 - LTE Computes Valuations of Exponential Differences - updated: Mon 16 December 2019
- Sat 14 December 2019 - Kernels Are Normal Because Conjugation Cannot Leave Zero
- Sat 29 September 2018 - The Hilbert Function Eventually Becomes a Polynomial - updated: Mon 09 December 2019
- Thu 05 December 2019 - RSK Turns a Permutation into Two Tableaux of One Shape
- Sun 17 November 2019 - Normal Extensions Contain Every Conjugate
- Thu 25 May 2017 - Homogenization Adds the Hyperplane at Infinity - updated: Wed 06 November 2019
- Thu 24 October 2019 - Additive Hilbert 90 Describes Trace-Zero Elements
- Wed 03 October 2018 - Subset DP Makes the Chosen Set an Explicit Coordinate - updated: Fri 18 October 2019
- Thu 17 October 2019 - Trace and Norm Are Additive and Multiplicative Shadows
- Sun 29 September 2019 - The Gradient Is Metric-Dual to the Differential
- Tue 24 September 2019 - The Möbius Function Is the Convolution Inverse of One