Беседы об информатике | страница 43
Существует и иная точка зрения. Сторонник этой точки зрения немецкий ученый В. Гейзенберг — автор знаменитого соотношения неопределенностей. Предоставим ему слово:
«…Мы уже не говорим, что ньютоновская механика ложна и должна быть заменена правильной, квантовой механикой. Скорее уж мы воспользуемся такой формулировкой: „Классическая механика является замкнутой научной теорией. Везде, где могут быть применены ее понятия, она дает в строгом смысле слова „правильное“ описание природы“. Мы, стало быть, и сегодня признаем истинность ньютоновской механики, даже ее строгость и общезначимость, но, добавляя, „везде, где могут быть применены ее понятия“, мы указываем, что считаем область применимости ньютоновской теории ограниченной. Понятие „замкнутая научная теория“ возникло впервые в такой форме в квантовой механике. В современной физике мы знаем, по сути дела, четыре крупные дисциплины, которые можем в таком смысле назвать замкнутыми теориями: помимо ньютоновской механики, это теория Максвелла вместе со специальной теорией относительности, затем учение о теплоте — со статистической механикой, наконец (нерелятивистская) квантовая механика вместе с атомной физикой и химией. Теперь следует несколько уточнить, какие особенности характеризуют „замкнутую теорию“ и в чем может заключаться истинность такой теории».
Далее В. Гейзенберг формулирует критерии, которым должна отвечать научная теория, чтобы считаться замкнутой.
Первым критерием замкнутой теории является ее внутренняя непротиворечивость. С помощью специальных определений и аксиом она должна допускать столь точное определение понятий, первоначально почерпнутых из опыта, и устанавливать между ними столь строгие отношения, чтобы им можно было сопоставить соответствующие математические символы, связанные системой непротиворечивых уравнений.
Вместе с тем замкнутая теория должна быть в известном смысле изобразительной. Другими словами, понятия теории должны что-то означать в мире явлений. По мнению В. Гейзенберга, проблемы, связанные с этим требованием, до сих пор не получили достаточного освещения.
Эта мысль стоит того, чтобы остановиться на ней более подробно. В современной науке принято считать, что некоторая теория создана, если найдены математические уравнения и если с помощью этих уравнений можно получить числа и зависимости между числами, совпадающие с опытными данными. Но чем дальше мы идем по этому пути, тем меньше нам удается определить, что означает переменные, входящие в уравнения. В наибольшей степени это характерно для современной квантовой физики.