Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С.Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
Provedena istoriko-logicheskaja rekonstruktsija proiskhozhdenija teorii poiska vyvoda iz gilbertovskoj teorii dokazatelstv na osnove porizmaticheskoj modeli proiskhozhdenija nauchnykh teorij, predlozhennoj B.S.Grjaznovym. Rassmotreny filosofskie prilozhenija teorii poiska vyvoda. Kniga adresovana spetsialistam po logike, metodologii nauki, iskusstvennomu intellektu.
