#матлог #учёба #спецсеминар

Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.

14 февраля 2025 г.
Г. Г. Черевиченко
Интерпретация Гёделя.
Гёдель предложил некий способ устранения кванторов, похожий на введение скулемовских функций, но пригодный для интуиционистской арифметики. Арифметика при этом "погружается" в некоторую теорию без кванторов, но содержащую гораздо больше функциональных символов (в частности, для всех примитивно рекурсивных функций, но не только для них). Это даёт очень ясное описание, о каких вычислимых функциях можно говорить в арифметике (какие функции доказуемо общерекурсивны). Кроме того, Гёдель рассматривал эту интерпретацию как некоторое доказательство непротиворечивости арифметики.

➰ ВК