Roth's Theorem

One of the many ways to prove Roth's theorem

Quanta on Quantum Computation

An introduction to quantum complexity

Infinities and Infinitesimals

An introduction to non-standard analysis, specifically hyperreals

Goodstein's Theorem

A proof of Goodstein's Theorem

Solving Language and Solving AI

What insights can solving natural language provide while solving artificial intelligence?

The Halting Problem

Turing Machines, the Halting Problem and glimpses of computability theory

And you thought you knew infinity

As the title says, an exploration of the concept of infinity