The video loads from YouTube only after you press Play.
Gabriel Nivasch. Fusible numbers and Peano Arithmetic
A 1.3-hour talk by МЦМУ МИАН about number systems and proofs, on the Mathematics shelf. It came up in r/3Blue1Brown, in a thread called “Topic requests”.
МЦМУ МИАН, Talk, 1 h 15 min, 2020, on the Mathematics shelf
Studies number constructions and their relationship to Peano arithmetic in a research-level mathematical-logic seminar.
Studies number constructions and their relationship to Peano arithmetic in a research-level mathematical-logic seminar.
About this record
Research-level rather than introductory. The Reddit recommender cautions that the talk is long and complex for a general audience.
