Mathematics RU

Mathematics

Logic & foundations

Every chapter of the course by topic, level and part. You can pick several topics at once — say, “Puzzles” and “Probability”.

51 Logic and sets For fifty chapters we’ve said ‘for every’, ‘there exists’, ‘therefore’ and ‘set’ without looking at the grammar. We’ll learn it on an island where some inhabitants always tell the truth and others always lie. Years 1–2 55 min 52 Infinities Galileo’s three characters argue about which is larger: the natural numbers or the points of a segment. On the way they meet a hotel that always has a free room, Cantor’s diagonal and a tower of infinities with no top floor. Years 1–2 55 min 53 Rigorous analysis A continuous function without a single tangent, a function that can’t be drawn, a limit of continuous functions with a jump. A bestiary of the monsters that made analysis rigorous, and the tools that tamed them. Years 1–2 75 min 56 Gödel, Turing and the limits of proof A puzzle with four rules, a number that talks about itself, and a program that can’t be written. In 1931 Gödel proved that arithmetic has true but unprovable statements, and in 1936 Turing proved that some questions can’t be settled by any algorithm. Years 1–2 65 min