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

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

Докладчик: В.П. Оревков.

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

Abstract

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