We can write a computer program that will successively print out the digits of the decimal expansion of Pi. We...

Continue reading...# logic

## All Horses are the Same Color

If you know how to prove things by induction, then here is an amazing fact: Theorem. All horses are the...

Continue reading...## Continuum Hypothesis

We have seen in the Fun Fact Cantor Diagonalization that the real numbers (the “continuum”) cannot be placed in 1-1 correspondence with...

Continue reading...