Загрузка страницы

A (very) Brief History of Kurt Gödel

In this episode, we cover the history of 20th century Austro-Hungarian mathematician, logician, and philosopher Kurt Gödel, considered to be one of the most significant logicians in history. He is most notable for his incompleteness theorems, which showed in any axiomatic mathematical system, there are propositions that cannot be proven or disproved within the axioms of the system.

As per usual, I don't go too deeply into the mathematics, largely just covering his history. Hope you enjoy!

Sources: https://docs.google.com/document/d/1r4T4DVhoAXLSBYGJPCWbYwIViBs4OW4varBXeNgtXYY/edit?usp=sharing

DISCORD ►► https://discord.gg/Jd3tCeK
PATREON ►► https://www.patreon.com/moderndaymath

Видео A (very) Brief History of Kurt Gödel канала moderndaymath
Показать
Комментарии отсутствуют
Введите заголовок:

Введите адрес ссылки:

Введите адрес видео с YouTube:

Зарегистрируйтесь или войдите с
Информация о видео
7 ноября 2020 г. 20:47:17
00:16:36
Яндекс.Метрика