Но сделал он именно это, за что его тоже в своё время произвели в лорды.
Не следует путать труды Резерфорда по ядерной физике с теорией пространства и времени, которую создал Эйнштейн. Резерфорд ни разу в жизни не сослался на Эйнштейна. Даже когда он работал в Кавендишской лаборатории и, проявляя чёрную неблагодарность, разбивал те самые атомы, которые его прославили, даже тогда ему ничего не было нужно от Эйнштейна. Я однажды спросил Резерфорда (это было в 1923 году, всемирная слава Эйнштейна была в зените), что он думает о теории относительности. «А, чепуха! – ответил он. – Для нашей работы это не нужно!» Его биограф и почитатель, профессор Ив, рассказывает, что, когда немецкий физик Вин сказал Резерфорду, что ни один англосакс не понимает теории относительности, Резерфорд ответил: «Естественно, у нас слишком много здравого смысла».
Но всё же главные неприятности начались именно с Эйнштейна. В 1905 году он объявил, что абсолютного покоя нет. И с тех пор его не стало. Но только после первой мировой войны на Эйнштейна набросилась читающая публика, и полки в магазинах стали ломиться от книжек «про относительность».
Эйнштейн нокаутировал пространство и время так же, как Резерфорд нокаутировал вещество. Общий взгляд теории относительности на пространство очень прост. Эйнштейн всем объяснил, что нет такого места, как «здесь». «Но ведь я-то здесь, – скажете вы. – Здесь – как раз то место, где я сейчас сижу». Но ведь вы двигаетесь! Земля вертится, и вы на ней вертитесь. Вместе с Землёй вы движетесь вокруг Солнца, а вместе с Солнцем – вслед за «далёкой галактикой», которая сама мчится со скоростью 26 000 миль в секунду. Так что же это за место – «здесь»? Как вы его отметите? Всё это очень напоминает рассказ о двух идиотах на рыбалке. Один из них говорит другому: «Слушай, надо заметить то место, где мы вытащили эту здоровую рыбину», а тот ему отвечает: «Да я уже сделал отметину на борту лодки». Вот вам и «здесь»!
Открытие Эйнштейном кривизны пространства физики приветствовали взрывом аплодисментов, какие до тех пор можно было слышать только на бейсболе. Блестящий учёный, сэр Артур Эддингтон, который с пространством и временем обращается как поэт (даже его рассуждения о гравитации пронизаны юмором: он говорит, что идеальную возможность изучать тяготение имеет человек, падающий в лифте с двадцатого этажа), так вот, сэр Артур Эддингтои аплодировал громче всех. По его словам, без этой кривизны в пространстве разобраться вообще невозможно. Мы ползаем по своему пространству, как муха ползает по глобусу, думая, что он плоский. Тайны тяготения озадачивают нас (я не имею в виду тех немногих счастливцев, которым представился редкий случай упасть в лифте с двадцатого этажа. Но и на них откровение снизошло слишком поздно, а откровение заключается в следующем: мы и не падаем вовсе, а просто искривляемся). «Признайте кривизну пространства, – писал Эддингтон в 1927 году, – и таинственная сила исчезнет. Эйнштейн изгнал этого демона».
Но сейчас, четырнадцать лет спустя, начинает казаться, что Эйнштейна мало беспокоит, изогнуто пространство или нет. Ему это, по-видимому, всё равно. Один известный физик, руководящий факультетом в одном из крупнейших университетов, недавно написал мне по этому поводу: «Эйнштейн надеется, что общая теория, учитывающая некоторые свойства пространства, напоминающие то, что сейчас обычно называют кривизной, может в будущем оказаться более плодотворной, чем это, по-видимому, имеет место в настоящее время». Сказано чисто по-профессорски. Большинство же говорит просто, что Эйнштейн махнул рукой на кривое пространство. Всё равно что сэр Исаак Ньютон, зевнув, сказал бы: «Ах, вы об этом яблоке – а может быть, оно вовсе и не падало?»
О существе математических доказательств
Дж. Коэн
Бертран Рассел определил математику как науку, в которой мы никогда не знаем, о чём говорим и насколько правильно то, что мы говорим. Известно, что математика широко применяется во многих других областях науки. Следовательно, и остальные учёные в большинстве своём не знают, о чём говорят и истина ли то, что они говорят.
Таким образом, одна из главных функций математического доказательства – создание надёжной основы для проникновения в суть вещей.
Аристотель относится к числу первых философов, занявшихся изучением математических доказательств. Он изобрёл силлогизм – приспособление, которое в силу своей абсолютной бесполезности привлекало внимание бесчисленного множества логиков и философов. Силлогизм состоит из первой посылки, второй посылки и заключения. Логики только и делают, что приходят к заключениям. Просто чудо, что они до сих пор не обошли всё кругом и не пришли туда, откуда вышли.
В первой посылке заключается истина, относящаяся к целому классу вещей, например: «Не все посылки верны». Во второй посылке утверждается, что интересующая нас вещь принадлежит к этому классу, например: «Последние четыре слова предыдущего предложения являются посылкой». Таким образом, мы приходим к заключению: «Не всегда верно, что не все посылки верны». Такова всеобъемлющая полнота, с которой логика обобщает явления повседневной жизни.
Опираясь на математические доказательства, учёные сумели соединить дотоле разрозненные области, термодинамику и технику связи, в новую дисциплину – теорию информации. «Информация», научным образом определённая, пропорциональна удивлению: чем удивительнее сообщение, тем больше информации оно содержит. Если, подняв телефонную трубку, человек услышит «алло», это его не очень удивит; значительно больше будет информация, если его вместо «алло» внезапно ударит током.
Колоссальные новые возможности открылись перед математическими доказательствами с развитием теории множеств в конце прошлого столетия и начале нынешнего. Автор сам недавно открыл одну теорему в теории множеств, которая заслуживает того, чтобы её здесь привести.
Теорема.Множество, единственным элементом которого является множество, может быть изоморфно множеству, единственным элементом которого является множество, все элементы которого образуют подгруппу элементов в множестве, которое является единственным элементом множества, с которым оно изоморфно.
Эту интуитивно очевидную теорему можно окольным путём вывести из теоремы об изоморфизме в теории групп.
Рассмотрим теперь логические системы. От простого набора теорем логическая система отличается так же, как готовое здание от груды кирпичей: в логической системе каждая последующая теорема опирается на предыдущую. Пойа отмечал, что заслуга Евклида состояла не в коллекционировании геометрических фактов, а в их логическом упорядочении.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55
Не следует путать труды Резерфорда по ядерной физике с теорией пространства и времени, которую создал Эйнштейн. Резерфорд ни разу в жизни не сослался на Эйнштейна. Даже когда он работал в Кавендишской лаборатории и, проявляя чёрную неблагодарность, разбивал те самые атомы, которые его прославили, даже тогда ему ничего не было нужно от Эйнштейна. Я однажды спросил Резерфорда (это было в 1923 году, всемирная слава Эйнштейна была в зените), что он думает о теории относительности. «А, чепуха! – ответил он. – Для нашей работы это не нужно!» Его биограф и почитатель, профессор Ив, рассказывает, что, когда немецкий физик Вин сказал Резерфорду, что ни один англосакс не понимает теории относительности, Резерфорд ответил: «Естественно, у нас слишком много здравого смысла».
Но всё же главные неприятности начались именно с Эйнштейна. В 1905 году он объявил, что абсолютного покоя нет. И с тех пор его не стало. Но только после первой мировой войны на Эйнштейна набросилась читающая публика, и полки в магазинах стали ломиться от книжек «про относительность».
Эйнштейн нокаутировал пространство и время так же, как Резерфорд нокаутировал вещество. Общий взгляд теории относительности на пространство очень прост. Эйнштейн всем объяснил, что нет такого места, как «здесь». «Но ведь я-то здесь, – скажете вы. – Здесь – как раз то место, где я сейчас сижу». Но ведь вы двигаетесь! Земля вертится, и вы на ней вертитесь. Вместе с Землёй вы движетесь вокруг Солнца, а вместе с Солнцем – вслед за «далёкой галактикой», которая сама мчится со скоростью 26 000 миль в секунду. Так что же это за место – «здесь»? Как вы его отметите? Всё это очень напоминает рассказ о двух идиотах на рыбалке. Один из них говорит другому: «Слушай, надо заметить то место, где мы вытащили эту здоровую рыбину», а тот ему отвечает: «Да я уже сделал отметину на борту лодки». Вот вам и «здесь»!
Открытие Эйнштейном кривизны пространства физики приветствовали взрывом аплодисментов, какие до тех пор можно было слышать только на бейсболе. Блестящий учёный, сэр Артур Эддингтон, который с пространством и временем обращается как поэт (даже его рассуждения о гравитации пронизаны юмором: он говорит, что идеальную возможность изучать тяготение имеет человек, падающий в лифте с двадцатого этажа), так вот, сэр Артур Эддингтои аплодировал громче всех. По его словам, без этой кривизны в пространстве разобраться вообще невозможно. Мы ползаем по своему пространству, как муха ползает по глобусу, думая, что он плоский. Тайны тяготения озадачивают нас (я не имею в виду тех немногих счастливцев, которым представился редкий случай упасть в лифте с двадцатого этажа. Но и на них откровение снизошло слишком поздно, а откровение заключается в следующем: мы и не падаем вовсе, а просто искривляемся). «Признайте кривизну пространства, – писал Эддингтон в 1927 году, – и таинственная сила исчезнет. Эйнштейн изгнал этого демона».
Но сейчас, четырнадцать лет спустя, начинает казаться, что Эйнштейна мало беспокоит, изогнуто пространство или нет. Ему это, по-видимому, всё равно. Один известный физик, руководящий факультетом в одном из крупнейших университетов, недавно написал мне по этому поводу: «Эйнштейн надеется, что общая теория, учитывающая некоторые свойства пространства, напоминающие то, что сейчас обычно называют кривизной, может в будущем оказаться более плодотворной, чем это, по-видимому, имеет место в настоящее время». Сказано чисто по-профессорски. Большинство же говорит просто, что Эйнштейн махнул рукой на кривое пространство. Всё равно что сэр Исаак Ньютон, зевнув, сказал бы: «Ах, вы об этом яблоке – а может быть, оно вовсе и не падало?»
О существе математических доказательств
Дж. Коэн
Бертран Рассел определил математику как науку, в которой мы никогда не знаем, о чём говорим и насколько правильно то, что мы говорим. Известно, что математика широко применяется во многих других областях науки. Следовательно, и остальные учёные в большинстве своём не знают, о чём говорят и истина ли то, что они говорят.
Таким образом, одна из главных функций математического доказательства – создание надёжной основы для проникновения в суть вещей.
Аристотель относится к числу первых философов, занявшихся изучением математических доказательств. Он изобрёл силлогизм – приспособление, которое в силу своей абсолютной бесполезности привлекало внимание бесчисленного множества логиков и философов. Силлогизм состоит из первой посылки, второй посылки и заключения. Логики только и делают, что приходят к заключениям. Просто чудо, что они до сих пор не обошли всё кругом и не пришли туда, откуда вышли.
В первой посылке заключается истина, относящаяся к целому классу вещей, например: «Не все посылки верны». Во второй посылке утверждается, что интересующая нас вещь принадлежит к этому классу, например: «Последние четыре слова предыдущего предложения являются посылкой». Таким образом, мы приходим к заключению: «Не всегда верно, что не все посылки верны». Такова всеобъемлющая полнота, с которой логика обобщает явления повседневной жизни.
Опираясь на математические доказательства, учёные сумели соединить дотоле разрозненные области, термодинамику и технику связи, в новую дисциплину – теорию информации. «Информация», научным образом определённая, пропорциональна удивлению: чем удивительнее сообщение, тем больше информации оно содержит. Если, подняв телефонную трубку, человек услышит «алло», это его не очень удивит; значительно больше будет информация, если его вместо «алло» внезапно ударит током.
Колоссальные новые возможности открылись перед математическими доказательствами с развитием теории множеств в конце прошлого столетия и начале нынешнего. Автор сам недавно открыл одну теорему в теории множеств, которая заслуживает того, чтобы её здесь привести.
Теорема.Множество, единственным элементом которого является множество, может быть изоморфно множеству, единственным элементом которого является множество, все элементы которого образуют подгруппу элементов в множестве, которое является единственным элементом множества, с которым оно изоморфно.
Эту интуитивно очевидную теорему можно окольным путём вывести из теоремы об изоморфизме в теории групп.
Рассмотрим теперь логические системы. От простого набора теорем логическая система отличается так же, как готовое здание от груды кирпичей: в логической системе каждая последующая теорема опирается на предыдущую. Пойа отмечал, что заслуга Евклида состояла не в коллекционировании геометрических фактов, а в их логическом упорядочении.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55