Thricery

Second version of Cantor's Proof

Introduction

A first look at uncountability

Working with functions and sets

The world of Computers

Why generalise?

Mathematical patterns

Powersets and Cantor's theorem in its generality

Proof template of Diagonal Argument

What A General Diagonal Argument Looks Like (Category Theory)