Понедельник 21.11. В.П. Оревков: "Обратный метод для классического и интуиционистского исчислений предикатов"

Понедельник, 21 ноября, ауд. 106. Начало в 14:00.

Докладчик: В.П. Оревков (ПОМИ РАН).

Тема: Обратный метод для классического и интуиционистского исчислений предикатов.

Abstract

Обратный метод будет описываться в стиле и в терминах программы поиска доказательств, разработанной в ЛОМИ в конце 60-х годов. Будут также сформулированы необходимые условия, при выполнении которых секвенция может участвовать в доказательстве другой секвенции, и промоделировано введение сколемовских функций для интуиционистского исчисления предикатов.