Список проголосовавших за комментарий "Schwonder, а не замахнуться ли нам на Курта нашего Гёделя?<br/> Начнем с простого определения.<br/> <strong>В любой достаточно сложной формальной системе правил всегда найдутся истинные утверждения, которые невозможно доказать, используя эти правила.<br/> <br/> </strong>Уточним последствия.<br/> 1. <span>Теорема работает только для систем, которые содержат арифметику (сложение и умножение).<br/> </span><span><span>Если ваша система слишком простая (например, просто логика силлогизмов или таблица умножения на 2), там всё доказуемо.<br/> 2. </span></span><span>Гёдель четко разделил понятия «истина» и «доказуемость». Истина существует объективно (я бы поспорил, что такое истина), </span><span>но наши инструменты для её постижения (математические правила) имеют жесткий потолок.<br/> <br/> Но для гуманитариев достаточно пара роликов.<br/> Академикам с нежными ушами не смотреть.<br/> <a href="/r.php?u=https%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D2vKwlFNQVcI&s=3375305989">В видео присутствует обсценная лексика.</a><br/> <br/> <a class="imgpreview" href="/uploads/2026/images/12/53/02/2026/07/14/f3fa6d60fc.jpg"><img src="/uploads/2026/images/12/53/02/2026/07/14/d15d40304b.webp"/></a><br/> <br/> <br/> <br/> </span>"