Диалектическая интерпретация

Оглавление1 Диалектическая интерпретация1.1 Основы диалектической интерпретации1.2 Перевод формул1.3 Расширения и понимание1.4 Рекомендации2 Диалектическая интерпретация — Википедия Диалектическая интерпретация Основы диалектической […]

Диалектическая интерпретация

  • Основы диалектической интерпретации

    • Диалектическая интерпретация – это метод перевода формул интуиционистской логики в арифметику Геделя. 
    • Арифметика Геделя – это система, которая включает в себя арифметику натуральных чисел и логику первого порядка. 
    • Интуиционистская логика – это система, в которой отрицание отрицания не является законом. 
  • Перевод формул

    • Формула без квантификатора определяется индуктивно на основе логической структуры. 
    • Интерпретация формулы такова, что если она доказуема в арифметике Хейтинга, то существует последовательность замкнутых терминов, доказуемая в системе T. 
  • Расширения и понимание

    • Диалектическая интерпретация была расширена на различные более сильные системы, включая линейную логику. 
    • Спектор расширил диалектическую интерпретацию до полного математического анализа. 
  • Рекомендации

    • В статье приведены ссылки на дополнительные ресурсы и варианты диалектической интерпретации. 

Полный текст статьи:

Диалектическая интерпретация — Википедия

Оставьте комментарий

Прокрутить вверх