All posts for tag "math"
-
Defining definable real numbers is hard
It turns out that maybe every real number is definable! - April 10, 2020
-
Transfinite Induction
A not finished summary of transfinite induction... - January 23, 2014
-
SMBC and 2 + 2
Thoughts on 2 + 2 from SMBC - January 6, 2014
-
Uniform Computability
Defining what it means for something to be uniformly computable - January 4, 2014
-
The Continuum Hypothesis Part 2 (The Constructible Universe)
Trying to demystify the continuum hypothesis - January 2, 2014
-
The Continuum Hypothesis Part 1
The archetypical math problem independent of modern math axioms - December 9, 2013
-
Simple Application of Model Theory
Yeah right... we'll see - November 25, 2013
-
The Halting Problem
The halting problem as seen in math rather than in CS - November 6, 2013
-
Rigid Coxeter Groups
Making Alt-Tab in FVWM act like other window manager's Alt-Tab - December 3, 2012
-
Equivalent Definitions of Compactness
Proving equivalence among three different definitions - August 3, 2012