Оглавление
Диалектическая интерпретация
-
Основы диалектической интерпретации
- Диалектическая интерпретация – это метод перевода формул интуиционистской логики в арифметику Геделя.
- Арифметика Геделя – это система, которая включает в себя арифметику натуральных чисел и логику первого порядка.
- Интуиционистская логика – это система, в которой отрицание отрицания не является законом.
-
Перевод формул
- Формула без квантификатора определяется индуктивно на основе логической структуры.
- Интерпретация формулы такова, что если она доказуема в арифметике Хейтинга, то существует последовательность замкнутых терминов, доказуемая в системе T.
-
Расширения и понимание
- Диалектическая интерпретация была расширена на различные более сильные системы, включая линейную логику.
- Спектор расширил диалектическую интерпретацию до полного математического анализа.
-
Рекомендации
- В статье приведены ссылки на дополнительные ресурсы и варианты диалектической интерпретации.
Полный текст статьи: