Ролики, которые хабровчане годами советуют друг другу в комментариях. Неофициальный проект.
Русская озвучка ролика Veritasium о том, можно ли доказать всё, что истинно. История от Кантора и бесконечностей через программу Гильберта к теоремам Гёделя о неполноте и проблеме остановки Тьюринга, связавшей математику с компьютерами.
Советуют как понятный рассказ о теоремах Гёделя о неполноте и пределах математики