У интуиции есть своя логика. Гёдель. Теоремы о неполноте - [10]
Лёйтзен Эгберт Ян Брауэр родился в Роттердаме, Голландия, 27 февраля 1881 года, за два года до публикации статьи Кантора, в которой впервые была введена в математику актуальная бесконечность. В1904 году, сразу после окончания университета, Брауэр доказал несколько оригинальных результатов о непрерывном движении в четырех измерениях, которые были опубликованы Амстердамской королевской академией наук. В его докторской диссертации, опубликованной в 1907 году, речь шла о проблеме оснований математики. В этой работе он ввел первые понятия об интуиционизме. Также ученый внес значительный вклад в топологию, где доказал знаменитую теорему о неподвижной точке, носящую его имя. Что любопытно, доказательство этой теоремы не выполняет интуиционистских стандартов. В1935 году Брауэр занялся политикой и практически отдалился от математических исследований, хотя в том же году основал журнал Compositio Mathematica и продолжал деятельность в качестве его издателя. Брауэр скончался 2 декабря 1966 года в Бларикюме (Голландия) в результате автокатастрофы.
С другой стороны, согласно интуиционистам, для того чтобы определение свойства было справедливым, должна существовать механическая процедура (которую можно реализовать на компьютере, поскольку алгоритм — это не что иное, как последовательность действий), и с ее помощью можно проверить, выполняется ли свойство. Например, свойство «быть простым числом» для интуиционистов справедливо, поскольку его всегда можно проверить за конечное количество шагов. Чтобы узнать, является ли число 17677 простым, достаточно разделить его на все числа, меньшие его. Если во всех случаях деления есть остаток, то число простое. Процедура, которую мы описали, не самая лучшая (есть более быстрые методы), но она всегда дает правильный ответ за конечное количество шагов.
Чтобы рассмотреть пример свойства, не принимаемого интуиционистами, определим число р, используя знаки числа π = 3,14159265... (которое, как мы знаем, является иррациональным, то есть имеет бесконечное непериодическое количество знаков после запятой). Число р определяется следующим образом: если среди знаков числа π появится хотя бы одна последовательность ровно из 15 нулей подряд, то р — это цифра (отличная от нуля), следующая после первого появления этих нулей. Если никогда не появятся 15 нулей подряд, то р равно 0. Отметим, что среди знаков числа π, вычисленных на сегодняшний день, последовательность из 15 нулей еще не появилась.
Существует ли число р? Чему оно равно? В 1900 году Гильберт написал, что если мы определим математический объект и это определение не противоречит само себе, то мы можем утверждать, что объект существует.
Почти любой современный математик ответит, что р существует. Более того, все они согласятся, что хотя мы не знаем точно, чему оно равно, можно утверждать: это число от 0 до 9. Именно в тот момент, когда мы узнаем, появится или не появится эта последовательность из 15 нулей в числе π, мы узнаем точное значение р. Однако для интуиционистской философии р не существует, поскольку оно определено на основе свойства, которое невозможно проверить за конечное количество шагов, так как у числа π бесконечное количество знаков после запятой, и для проверки требуется просмотреть их все. Если бы среди знаков числа π, вычисленных до сих пор, появилось 15 нулей подряд, то р существовало бы и мы знали бы его точное значение. Более того, если в будущем эти 15 нулей кто-то найдет, в тот же момент р начнет существовать.
Сегодня р не существует, но, возможно, оно появится в будущем. То же самое мы могли бы сказать о еще не написанном романе любого современного писателя. В этом сравнении нет ничего странного, поскольку для интуиционистов математика — это динамический, творческий процесс, подобный литературе, хотя он и управляется более строгими правилами. Математика создается (при соблюдении определенных правил), а не открывается.
Последующие поколения будут рассматривать теорию [бесконечных] множеств как болезнь, от которой мы излечились.
Анри Пуанкаре, французский математик, 1908 год
Поскольку сейчас р не существует, у него нет значения. Следовательно, ошибочно говорить, что оно находится в пределах от 0 до 9. Любое утверждение относительно р не имеет смысла. Некорректно говорить: «р либо четное, либо нечетное» или «оно равно или не равно 1».
Интуиционисты также задавались вопросом о статусе иррациональных чисел. Эти числа рассматривались только как никогда не достижимый результат последовательных приближений. Например, для интуиционистов числа π не существует в виде законченной совокупности (еще один аргумент в пользу несуществования р).
Между 1905 и 1920 годами Брауэр формулировал глобальную программу для математики на основе этих идей. В течение этих лет он писал статьи и книги, в которых объяснял, как осуществить его подход на практике. Постепенно эта программа начала обретать последователей среди самых видных математиков того времени, таких как Анри Пуанкаре (1854-1912). К 1920 году теория Кантора (скончавшегося в 1918 году) подвергалась серьезному риску быть забытой. Но за интуиционизм выступали не все математики. Одним из них был Давид Гильберт, который быстро принял теорию бесконечности.
Георг Кантор первым среди ученых начал с математической точностью исследовать бесконечность, представлявшую философский интерес. Его новаторский подход к математике воплотился в теории множеств, он сформулировал противоречащие интуиции понятия разных видов бесконечного. До работ, которые были изданы ученым в конце XIX века и стали фундаментальным вкладом в науку, бесконечность, следуя восходившей к Аристотелю научной традиции, понималась как полезная условность. Смелость Кантора стоила ему дорого: его идеи были жестко отвергнуты многими современниками, что, вероятно, послужило причиной его душевной болезни и преждевременной кончины.Прим.
Книга посвящена жизни и творчеству выдающегося советского кристаллографа, основоположника и руководителя новейших направлений в отечественной науке о кристаллах, основателя и первого директора единственного в мире Института кристаллографии при Академии наук СССР академика Алексея Васильевича Шубникова (1887—1970). Классические труды ученого по симметрии, кристаллофизике, кристаллогенезису приобрели всемирную известность и открыли новые горизонты в науке. А. В. Шубников является основателем технической кристаллографии.
Нильс Бор — одна из ключевых фигур квантовой революции, охватившей науку в XX веке. Его модель атома предполагала трансформацию пределов знания, она вытеснила механистическую модель классической физики. Этот выдающийся сторонник новой теории защищал ее самые глубокие физические и философские следствия от скептиков вроде Альберта Эйнштейна. Он превратил родной Копенгаген в мировой центр теоретической физики, хотя с приходом к власти нацистов был вынужден покинуть Данию и обосноваться в США. В конце войны Бор активно выступал за разоружение, за интернационализацию науки и мирное использование ядерной энергии.
Джеймс Клерк Максвелл был одним из самых блестящих умов XIX века. Его работы легли в основу двух революционных концепций следующего столетия — теории относительности и квантовой теории. Максвелл объединил электричество и магнетизм в коротком ряду элегантных уравнений, представляющих собой настоящую вершину физики всех времен на уровне достижений Галилея, Ньютона и Эйнштейна. Несмотря на всю революционность его идей, Максвелл, будучи очень религиозным человеком, всегда считал, что научное знание должно иметь некие пределы — пределы, которые, как ни парадоксально, он превзошел как никто другой.
«Занимательное дождеведение» – первая книга об истории дождя.Вы узнаете, как большая буря и намерение вступить в брак привели к величайшей охоте на ведьм в мировой истории, в чем тайна рыбных и разноцветных дождей, как люди пытались подчинить себе дождь танцами и перемещением облаков, как дождь вдохновил Вуди Аллена, Рэя Брэдбери и Курта Кобейна, а Даниеля Дефо сделал первым в истории журналистом-синоптиком.Сплетая воедино научные и исторические факты, журналист-эколог Синтия Барнетт раскрывает удивительную связь между дождем, искусством, человеческой историей и нашим будущим.
Эта книга – захватывающий триллер, где действующие лица – охотники-ученые и ускользающие нейтрино. Крошечные частички, которые мы называем нейтрино, дают ответ на глобальные вопросы: почему так сложно обнаружить антиматерию, как взрываются звезды, превращаясь в сверхновые, что происходило во Вселенной в первые секунды ее жизни и даже что происходит в недрах нашей планеты? Книга известного астрофизика Рэя Джаявардхана посвящена не только истории исследований нейтрино. Она увлекательно рассказывает о людях, которые раздвигают горизонты человеческих знаний.