Поток сознания 4
Этот пост должен был появиться больше недели назад, но небольшая простуда и безграничная лень нарушили эти планы. Итак, вот что было интересного Первое: Теорема Гёделя о (не)полноте Как выяснилось, товарищ Гёдель доказал две знаменитые теоремы, а не одну как я думал ранее. На философском уровне они звучат как «всякую истину можно доказать» и «существует недоказуемая истина». В математическом же виде вторая сформулирована в виде «множество арифметических истин неперичеслимо». Видео ценно именно понятным математическим разбором вышеупомянутых утверждений https://youtu...