как историко-научная и историко-философская проблема
Само по себе автоматическое получение новых теорем в формальной дедуктивной теории совсем не сложно. Но ИИ, будучи ориентирован на решение практически полезных задач, должен уметь доказывать не какие-то более или менее случайные теоремы, а ту одну единственную, в доказательстве которой должно быть закодировано решение поставленной перед интеллектуальной системой проблемы. Доказываемая теорема…
Диссертация