Слабое место математики: можно ли доказать всё, что истинно? Veritasium

VERT DIDER - Un podcast de Vert Dider

Catégories:

Помощь проекту: ссылка Возможно ли доказать всё, что истинно? Поиски ответа на этот вопрос раскололи математическое сообщество, заставили нас пересмотреть своё представление о бесконечности, помогли выиграть Вторую мировую войну и создать устройство, на котором вы посмотрите это видео. Как именно, расскажет Дерек Маллер в новом видео от Veritasium.