>Теорема Гёделя - не обоснование практики как критерия истины в математике.
Самый простой пример (и почти военный): системы шифрования с открытым ключем базируются на недоказанном, но подтверженном многолетней практикой математических исследований, утверждении о несовпадении классов задач, решаемых за полиномиальное время на детерминированных и недетерминированных машинах Тьюринга ("гипотеза о N<>NP").
Я уже не говорю, об используемых в военных и разведовательльных (спутники) целях системах шифрования, основанных на опять-же недоказанных, но основанных на многочисленных иссследованиях, оценках сложности некоторых двоичных функций.
Что касаемо теорем Геделя, то они только подтвердили то, о чем многие математики догадывались и раньше: вопрос истинности очень часто неразрешим без выхода за пределы теории - в практику.
>Что касаемо теорем Геделя, то они только подтвердили то, о чем многие математики догадывались и раньше: вопрос истинности очень часто неразрешим без выхода за пределы теории - в практику.
Это "разрешение" выходит из области математики как науки. Именно туда, в практику. Там и остается.