Jan 25, 2018
Roth's Theorem
1 minute read
One of the many ways to prove Roth's theorem
Jan 21, 2018
Quanta on Quantum Computation
7 minute read
An introduction to quantum complexity
Nov 4, 2017
Infinities and Infinitesimals
1 minute read
An introduction to non-standard analysis, specifically hyperreals
Nov 3, 2017
Goodstein's Theorem
1 minute read
A proof of Goodstein's Theorem
Sep 14, 2017
Solving Language and Solving AI
1 minute read
What insights can solving natural language provide while solving artificial intelligence?
Aug 18, 2017
The Halting Problem
1 minute read
Turing Machines, the Halting Problem and glimpses of computability theory
Aug 12, 2017
And you thought you knew infinity
1 minute read
As the title says, an exploration of the concept of infinity