Рационализм Декарта в его рафинированном виде привел его к утверждениям: «Не имеет значения соответствие исходных положений науки с какой-либо реальностью», которые, например, привели в ужас Ньютона (1642–1727): «Мало смысла имеет сравнивать с экспериментом выводы наших теорий» и «Чтобы математика стала наукой, надо, прежде всего, изгнать из неё чертежи (т. е. эксперимент и воображение)».
По мнению В. И. Арнольда (1937–2010) этим принципам сегодня следуют и ученые Франции (главный из них: «все общее и абстрактное важнее частного, конкретного»). Преподавая во Франции, он много сил прилагал в борьбе против этих принципов (где и погиб от перитонита), в частности, борясь с «бурбакизмом» (Бурбаки — коллективный псевдоним группы французских математиков, созданной в 1935 году): «…для Бурбаки все общие понятия важнее их частных случаев, поэтому все нестрогие неравенства являются фундаментальными, а строгие — маловажными специальными случаями, примерами… Это способствует невежеству читателей. …Вот почему бурбакистская мафия, заменяющая понимание науки формальными манипуляциями с непонятными „коммутативными“ объектами, так сильна во Франции, и вот что угрожает и нам в России». По В. И. Арнольду: «И математика, и физика — экспериментальные науки, разница лишь в том, что в физике эксперименты стоят миллиарды долларов, а в математике — единицы рублей» [2].
Концепции Бэкона и Декарта противоречивые и, казалось бы, несовместимые, и определяют сегодня развитие наук. Развитие можно представить такой логической цепочкой:
Исследователи, наблюдая экспериментальные данные, подбирали для них эмпирические описания закономерностей, которые могли стать основой (аксиоматикой) теорий, или создавали аксиомы и теории на основании некоторых общих соображений.
Таким образом, существует некая теория (аксиоматика и дедуктивные рассуждения), объясняющая интересующий нас процесс. Но выявляются опытные данные (или то, что может быть эквивалентно им), противоречащие этой теории или необъясняемые ею. Возникает (по Аристотелю) удивление — ситуация, отмеченная Козьмой Прутковым: «Многие вещи нам непонятны не потому, что наши понятия слабы; но потому, что сии вещи не входят в круг наших понятий». Значит нужно найти (создать) новые понятия и включить их в наши. По теореме К. Гёделя (1906–1978) это возможно: «Если формальная арифметика непротиворечива, то в ней существует не выводимая и неопровержимая формула (система неполна)». Теоремы Гёделя, в частности, положили конец замыслу Давида Гильберта (1862–1943) создать полную и непротиворечивую систему оснований математики.