logic

Computability of Real Numbers

Posted on June 29, 2019 by Samuel Nunoo

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

Posted on June 29, 2019 by Samuel Nunoo

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

Posted on June 29, 2019 by Samuel Nunoo

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