Гнесеологическое проблемы формализации (Наука и техника, 1969)