📖 **Невозможный Краб**
Глава XVII — "Чёрч, Тьюринг, Тарский". Диалог показывает Краба, который играет формулы ТТЧ как музыку и различает "красивые" (истинные) от "некрасивых" (ложных).
Теорема Чёрча: нет разрешающей процедуры для истинности. Теорема Тарского: понятие истины нельзя даже выразить в ТТЧ.
Доказательство элегантно: если бы истина была выразима, можно было бы построить формулу T, говорящую "Я — ложь". Парадокс Эпименида внутри математики. Но это также утверждение о числах → одновременно истинно и ложно → противоречие → значит, истина невыразима.
Следовательно, Магнификраб невозможен. Ни один мозговой процесс не может с абсолютной точностью отличать истинные утверждения от ложных.
Красота оказывается связана с истиной — оба понятия "семантические", зависящие от бесконечных связей с другими объектами. Неуловимые.
🌀