Вторник 05.11. В.П. Оревков (ПОМИ): "Преобразование классических доказательств в интуиционистские"
2 views
Skip to first unread message
PDMI seminars
Oct 29, 2024, 12:59:07 PM10/29/24
to dm-se...@googlegroups.com, dmsemina...@logic.pdmi.ras.ru, dmse...@logic.pdmi.ras.ru
Семинар по дискретной математике
Тема: Преобразование классических доказательств в интуиционистские
Место: Zoom
Время: 05.11.2024, 14:00
Докладчик: В.П. Оревков (ПОМИ)
Abstract:
В докладе будут описаны способы перестройки классических
секвенциальных доказательств в интуиционистские доказательства
тех же секвенций. Будут рассмотрены как доказательства с
сечениями по произвольным формулам, так и с сечениями по
формулам специального вида. Будут также получены верхние
оценки удлинения высоты доказательств при этих перестройках.
Reply all
Reply to author
Forward
0 new messages