Популярно о конечной математике и ее интересных применениях в квантовой теории

Поэтому часть имеет столько же элементов сколько целое. Другой пример – парадокс Grand Hotel Гильберта. Но в подходе Гильберта эти примеры не считаются противоречивыми. Классическая математика исходит из аксиом, которые принимаются на веру, без доказательства. Казалось бы, раз наука – не религия, то в ней не должно быть утверждений принимаемых на веру. Более того, как следует из теорем Гёделя, любая математика, основанная на множестве всех натуральных чисел, содержит утверждения, которые не могут быть доказаны и такая математика не может доказать, что она самосогласованна.

Я спрашивал у математиков, что раз они утверждают, что исходят из строгой науки, то тогда как же быть с теоремами Гёделя, которые говорят, что стандартная математика нестрогая? Но обычный ответ такой что раз теория, исходящая из аксиом стандартной математики хорошо описывает природу, то такой подход допустим, и вся история человечества считается подтверждением утверждения, что классическая математика в принципе может описать любые природные явления.

То есть здесь математики уже отказываются от подхода Гильберта и считают, что математика – это не просто абстрактная наука в духе подхода Гильберта, а наука, которая описывает природу. И, как я уже писал, философия многих физиков еще более дубоголовая. Хотя существующая квантовая физика основана на классической математике, они считают, что даже общепринятая строгость в этой математике необязательна, а главное, чтобы теория описывала эксперимент.

Я спрашивал у физиков и математиков, что раз в природе нет бесконечно малых, то тогда выходит, что производная – нестрогое понятие. Некоторые математики отвечают, что рано или поздно электрон разделят и докажут, что бесконечно малые существуют. Физики обычно согласны, что бесконечно малых в природе нет. Они говорят, что dx/dt надо понимать как ?x/?t где ?x и ?t – малые, но не бесконечно малые. Я им говорю: но ведь ты используешь математику с dx/dt, а не с ?x/?t. А они говорят, что раз математика с производными хорошо работает, то незачем философствовать и придумывать что-то другое (а другой математики они не знают).

История физики показывает, что рано или поздно аргумент, что если что-то хорошо работает, то нечего философствовать, оказывается неправильным. Например, нерелятивистская механика хорошо работает в 99.9…% случаев. Но теперь мы знаем, что это потому что в этих случаях скорости намного меньше скорости света.