|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Разрешающая процедура для логики суждений существованиядоклад на конференции
- Автор: Маркин В.И.
- Международная Конференция (Конгресс) : IV конгресс Русского общества истории и философии науки «Наука, технологии и ценности в неустойчивом мире»
- Даты проведения конференции: 27-29 сентября 2024
- Дата доклада: 27 сентября 2024
- Тип доклада: Устный
- Докладчик: Маркин В.И.
- Место проведения: Вологда, Россия
-
Аннотация доклада:
В докладе представлена процедура, позволяющая в конечное число шагов решать вопрос о доказуемости или недоказуемости произвольной формулы в аналитико-табличном исчислении, формализующем логику суждений существования.
- Добавил в систему: Маркин Владимир Ильич