|
Записки научных семинаров ЛОМИ, 1975, том 49, страницы 31–50
(Mi znsl2792)
|
|
|
|
О метаматематическом подходе к доказательству теорем дискретной математики
Ю. В. Матиясевич
Аннотация:
Описывается новый подход к задачам дискретной математики, основанный на применении теории логического вывода. А именно, при изучении какого-либо свойства $R$ с каждым объектом $X$, обладающим этим свойством, связывается новый объект – формальное доказательство $P_R(X)$ того, что $X$ действительно обладает свойством $R$, проводимое в рамках некоторой дедуктивной системы $R(X)$. В дальнейшем информация о свойствах $X$ извлекается из анализа структуры $P_R(X)$. В работе приведены различные дедуктивные системы, возникающие при формализации некоторых свойств графов, описаны возможные схемы использования $P_R(X)$ и указаны примеры теорем (ранее известных), допускающих доказательства по таким схемам.
Образец цитирования:
Ю. В. Матиясевич, “О метаматематическом подходе к доказательству теорем дискретной математики”, Теоретические применения методов математической логики. I, Зап. научн. сем. ЛОМИ, 49, Изд-во «Наука», Ленинград. отд., Л., 1975, 31–50
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2792 https://www.mathnet.ru/rus/znsl/v49/p31
|
Статистика просмотров: |
Страница аннотации: | 400 | PDF полного текста: | 158 |
|