Говоря о математике, мы, вероятно, имеем в виду вторичный язык, возникший над первобытным, который использует только нервная система. Джон фон Нейман В наши дни Давид Гильберт довел аксиоматический метод до горького конца, когда суждения математики, включая аксиомы, превратились в формулы и игра в дедукцию свелась к выводу из аксиом тех или иных формул по правилам, не учитывающим смысла формул. Герман Вейль Продолжаем анализировать «обосновательную эпопею» в математике в первой половине XX-го века...

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