Физики продолжают шутить   ::   Сборник переводов

Один известный физик, руководящий факультетом в одном из крупнейших университетов, недавно написал мне по этому поводу: «Эйнштейн надеется, что общая теория, учитывающая некоторые свойства пространства, напоминающие то, что сейчас обычно называют кривизной, может в будущем оказаться более плодотворной, чем это, по-видимому, имеет место в настоящее время». Сказано чисто по-профессорски. Большинство же говорит просто, что Эйнштейн махнул рукой на кривое пространство. Все равно что сэр Исаак Ньютон, зевнув, сказал бы: «Ах, вы об этом яблоке – а может быть, оно вовсе и не падало?»



Из книги «The World of Mathematics», New York, 1966.

С. Ликок – известный канадский писатель-юморист, видный ученый-экономист, сотрудник Мак-Гиллского университета.

О существе математических доказательств

Дж. Коэн



Бертран Рассел определил математику как науку, в которой мы никогда не знаем, о чем говорим и насколько правильно то, что мы говорим. Известно, что математика широко применяется во многих других областях науки. Следовательно, и остальные ученые в большинстве своем не знают, о чем говорят и истина ли то, что они говорят.

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

Аристотель относится к числу первых философов, занявшихся изучением математических доказательств. Он изобрел силлогизм – приспособление, которое в силу своей абсолютной бесполезности привлекало внимание бесчисленного множества логиков и философов. Силлогизм состоит из первой посылки, второй посылки и заключения. Логики только и делают, что приходят к заключениям.