Говорящая формула гёделя

                ГОВОРЯЩАЯ ФОРМУЛА ГЁДЕЛЯ


                «Гёдель занялся и этим вопросом. С помощью разработанного им метода ему удалось доказать в своей логико-арифметической системе формулу, метаматематический смысл которой можно передать словами: «Если формальная арифметика непротиворечива, то формула, говорящая: «Я недоказуема», доказуема» (обозначим эту формулу через Фнепр). Допустим теперь, что мы сумели доказать формулу, утверждающую непротиворечивость формальной арифметики. Тогда в силу формулы Фнепр по правилу модус поненс вытекает заключение: формула, утверждающая: «Я недоказуема», доказуема. Но это противоречит предыдущей теореме. Значит, формулу, утверждающую непротиворечивость формальной арифметики, невозможно доказать в этой последней, если, разумеется, сама эта арифметика не противоречива. В противном же случае, поскольку в ней доказуема любая формула, доказуема и формула, которую можно считать выражающей свойство непротиворечивости» (Б.В.Бирюков, В.Н.Тростников, Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики. М., 2004, с.124) (Изделие типографии ООО «Рохос». Зак. № 3-1125/335, г. Москва, пр-т 60-летия Октября, 9).
                Математик отвлекается от того, что для него есть физические тела и физические поля. В его воображении действовать начинают его знаки и символы, также воображаемые им конструкции из них. Для него действуют слова, понятия, формулы, числа и величины. Но действует на него не его воображение, не понятия, не знаки и символы, не им воображаемые конструкции из них, но он находится в неодолимой для себя зависимости от собственных им же формируемых структур на нейронной основе и других тканей организма, обеспечивающих ему программы-автоматизмы. Именно эти структуры действуют на его же иные части организма. Математик такого типа (любой субъект-индивид),  являясь автором подобного типа,  является психически неадекватным существом (если, конечно, он осознает то, что играет в интеллектуальную игру, держит ситуацию под контролем, то тогда он может быть и адекватным; например: «Формулы, конечно, говорить не могут, но мы вообразим ситуацию с говорящей о себе формулой и проведем различные следствия из наших допущений; только не будем забывать, что мы имеем дело с собственными образами, соответствующими исполненными кем-то конструкциями на бумаге или ином материале, а также с собственными конструкциями, исполнение которых организуем мы»).