## What is Constructive Mathematics?

Talk, What is... Seminar 2022, Johns Hopkins University, Baltimore, Maryland

A talk I gave for the Johns Hopkins University What is… Seminar 2022, in which I give an introduction to constructive mathematics and synthetic differential geometry. A recording of the talk can be found here, and the abstract can be found below.