Intro to Proofs – Paradoxes – This title is a lie

This description contains at least one inaccuracy.

This is a video for a university course about Introduction to Mathematical Proofs.

Topics covered:

1. Self-reference paradoxes (Barber’s paradox, Autological words, Russell’s paradox, the halting problem, Godel’s Incompleteness theorem)

This was originally made for the University of Toronto Mississauga in Summer 2020, for MAT102.

All material for the course can be found at:

Introduction to Proofs