Proof Theory Methods of Proof for Every Occasion Three essential proof techniques, followed by many not-so-essential

Infinity Problems with infinity* I had the pleasure of witnessing this interaction the other day: two kids were locked in a battle of wits to see who could think of the…

Computer Science What is Machine Learning, actually? A simple, intuitive guide to artificial intelligence