Привет всем

Кибенематика - математическая кибернетика с намеком на отсыл к едреней фене__(АБС)__

понедельник, 15 февраля 2021 г.

Анализ vs дедукция


2021-02-15 05:30

      В настоящей работе рассматриваются четыре вида задач, которые естественным образом возникают в связи с определением логического вывода.

1) проверка доказательства.

2) поиск интересных следствий.

3) поиск доказательства.

4) поиск гипотез.

      В современной логике основное внимание уделяется задаче поиска доказательств. Ограничительные теоремы Гёделя имеют прямое к ней отношение. В то же время в реальной практике задача поиска гипотез, из которых следует целевое предложение, встречается гораздо чаще, чем задача поиска доказательства. Подробному ее исследованию и посвящена основная часть настоящей работы.


Часть 1.

Часть 2.

Часть 3.


Источник: Vc.com








Комментариев нет:

Отправить комментарий