Теорема Гёделя о неполноте. Вторая проблема Гильберта | Facepalm Solo #8

#ТеоремаГёделя #ПроблемыГильберта #FacepalmPodcast

В 1900м Дэвид Гильберт сформулировал 23 проблемы математики.
Одна из них, а именно вторая была сформулирована так:
А не противоречат ли аксиомы арифметики друг другу?

30 лет не знали ответа на этот вопрос, пока в 1930м Курт Гёдель не представил свою теорему о неполноте. На самом деле это целых две теоремы, доказывающие, что невозможно выстроить полную и непротиворечивую науку.
Теоремы получилась довольно философской и нашлись умельцы, что с ее помощью доказывали существование Бога, а были и те, кто с ее же помощью доказывали его отсутствие.

Видосы про другие теории:
Теория Игр:    • Где врет Теория Разбитых Окон? | Face...  
Теория Разбитых окон:    • Трагедия общин против рыночной эконом...  
Теория Ограничений Голдратта    • Теория ограничений Голдратта. Как опт...  

Теорема Париса — Харрингтона - https://ru.wikipedia.org/wiki/%D0%A2%...

Наши соц. сети:
  / facepalm_podcast  
  / podcastfacepalm