Gödel's Incompleteness Theorems - Ep. 6.2: Hilbert's Program HD

Between the end of 19th and the beginning of the 20th Century the field of mathematics and logic suffered a profound crisis.