Имре Лакатос (по-венгерски произносится Лакатош) (1922-1974). Последователь Поппера, который хочет применить его теорию к математике. Методология научно-исследовательских программ (1968-1970) 1.Противоставляет: Фальсификационизм vs. Джастификационизм (в кот. полагают, что научное знание состоит из доказательно обоснованных высказываний). 2.Догматический, наивный методологический и утонченный методологический фальсификационизм...

Метод формализации является одним из основополагающих теоретических методов в математическом и естественно-научном знании. В математике он базируется на аксиомах, в физике на идеях, принципах и общих понятиях. Под формализацией понимается особый подход в научном познании, который заключается в использовании специальной символики, позволяющей отвлечься от изучения реальных объектов, от содержания описывающих их теоретических положений и оперировать вместо этого некоторым множеством символом (знаков)...