|
Записки научных семинаров ЛОМИ, 1975, том 49, страницы 123–130
(Mi znsl2795)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Финитный подход к задаче оптимизации алгорифмов установления выводимости
А. О. Слисенко
Аннотация:
Рассматриваются алгорифмы установления выводимости в конечном множестве $S$ формул логики предикатов. Пусть $F$ – непротиворечивая и достаточно сильная формальная система, и “доказательство корректности” означает доказательство в $F$. Если множество $S$ достаточно богато, то невозможен ни разрешающий алгорифм, корректность которого доказуема в $F$ (при $\operatorname{cord}(s)\geq C$ длина $(F)$), ни “практически просто работающий” алгорифм поиска в $S$, у которого было бы достаточно короткое доказательство корректности. Библ. – 8 назв.
Образец цитирования:
А. О. Слисенко, “Финитный подход к задаче оптимизации алгорифмов установления выводимости”, Теоретические применения методов математической логики. I, Зап. научн. сем. ЛОМИ, 49, Изд-во «Наука», Ленинград. отд., Л., 1975, 123–130
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2795 https://www.mathnet.ru/rus/znsl/v49/p123
|
Статистика просмотров: |
Страница аннотации: | 146 | PDF полного текста: | 53 |
|