Поминающим Гёделя всуе

[tannarh]

Раз уж вспоминал недавно Канке, то вот еще: "В борьбе с логико-математическими противоречиями конструктивистский метод оказался довольно сильнодействующим средством. В частности, не одним, а несколькими способами удалось доказать непротиворечивость формальной арифметики [Нагорный Н.М. К вопросу о непротиворечивости арифметики//ХI международная конференция. Логика, методология, философия науки. Вып.1. – М.-Обнинск: ИФРАН; ИЛКРЛ, 1995.– С. 45-47.]. Эти доказательства существенно ослабляют значимость теорем Гёделя. Согласно его второй теореме, непротиворечивость арифметики недоказуема. Она действительно недоказуема при тех методах, которые использовал Гёдель. Но она доказуема при других методах, в частности в рамках конструктивизма."
Канке В.А. Основные философские направления и концепции науки. Итоги ХХ столетия