Скачать
A (very) Brief History of Kurt Gödel
Автор: moderndaymath
Загружено: 2020-11-07
Просмотров: 48483
Описание:
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/1r...
DISCORD ►► / discord
PATREON ►► / moderndaymath
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
