Изучение принципов творческой деятельности, закономерностей эвристических процессов мышления составляет одно из важных требований, выдвинутых современной наукой. Осуществление этого требования трудно представить без совместных усилий ученых, работающих в области методологии и логики научного познания, в кибернетике, психологии, педагогике и многих других отраслях науки. Современные достижения формальной логики также открывают интересные перспективы применения точных методов в изучении определенных аспектов эвристической деятельности. Тем не менее нередко можно встретить противопоставление строгих методов построения доказательств эвристическим принципам, которые используются в отыскании формулировок будущих теорем, в выработке идеи доказательства и т. п. Основу этого противопоставления составляет следующий ошибочный, по-нашему мнению, взгляд: строгие методы надежны, неоспоримы, а эвристические принципы ненадежны, спорны; первые не дают существенно новых знаний, в то время как вторые приводят к открытию новых результатов.
