2021-02-15 05:30
В настоящей работе рассматриваются четыре вида задач, которые естественным образом возникают в связи с определением логического вывода.
1) проверка доказательства.
2) поиск интересных следствий.
3) поиск доказательства.
4) поиск гипотез.
В современной логике основное внимание уделяется задаче поиска доказательств. Ограничительные теоремы Гёделя имеют прямое к ней отношение. В то же время в реальной практике задача поиска гипотез, из которых следует целевое предложение, встречается гораздо чаще, чем задача поиска доказательства. Подробному ее исследованию и посвящена основная часть настоящей работы.
Источник: Vc.com
Комментариев нет:
Отправить комментарий