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 AltTab in FVWM act like other window manager's AltTab  December 3, 2012

Equivalent Definitions of Compactness
Proving equivalence among three different definitions  August 3, 2012