Георг Кантор - Википедия - Georg Cantor

Георг Кантор
Георг Кантор (Porträt) .jpg
Родившийся
Георг Фердинанд Людвиг Филипп Кантор

(1845-03-03)3 марта 1845 г.
Санкт-Петербург, Российская империя
Умер6 января 1918 г.(1918-01-06) (72 года)
Галле, Провинция Саксония, Германская Империя
НациональностьНемецкий
Альма-матер
ИзвестенТеория множеств
Супруг (а)
Валли Гуттманн
​
(м. 1874)​
НаградыМедаль Сильвестра (1904)
Научная карьера
ПоляМатематика
УчрежденияУниверситет Галле
ТезисDe aequationibus secundi gradus indeterminatis  (1867)
Докторант

Георг Фердинанд Людвиг Филипп Кантор (/ˈkæптɔːr/ KAN-тор, Немецкий: [ˈꞬeːɔʁk ˈfɛʁdinant ˈluːtvɪç ˈfɪlɪp ˈkantɔʁ]; 3 марта [ОПЕРАЦИОННЫЕ СИСТЕМЫ. 19 февраля] 1845 г. - 6 января 1918 г.[1]) был немец математик. Он создал теория множеств, который стал фундаментальная теория по математике. Кантор установил важность индивидуальная переписка между членами двух наборов, определенных бесконечный и упорядоченные наборы, и доказал, что действительные числа более многочисленны, чем натуральные числа. Фактически канторовский метод доказательства этой теоремы подразумевает существование бесконечность бесконечностей. Он определил кардинал и порядковый числа и их арифметика. Работа Кантора представляет большой философский интерес, и он хорошо осознавал этот факт.[2]

Канторовская теория трансфинитные числа изначально считался настолько нелогичным - даже шокирующим - что столкнулся с сопротивление от современников-математиков, таких как Леопольд Кронекер и Анри Пуанкаре[3] а позже из Герман Вейль и Л. Э. Дж. Брауэр, пока Людвиг Витгенштейн поднятый философские возражения. Кантор, набожный Лютеранский,[4] считал, что теория была передана ему Богом.[5] Немного Христианские богословы (особенно нео-схоластики ) рассматривал работу Кантора как вызов уникальности абсолютной бесконечности в природе Бога.[6] - однажды приравняв теорию трансфинитных чисел к пантеизм[7] - предложение, которое Кантор решительно отверг.

Возражения против работы Кантора иногда были ожесточенными: Леопольд Кронекер Публичная оппозиция и личные нападки России включали в себя описание Кантора как «научного шарлатана», «ренегата» и «развратника молодежи».[8] Кронекер возражал против доказательств Кантора, что алгебраические числа счетны, а трансцендентные числа неисчислимы, и теперь результаты включены в стандартную учебную программу по математике. Спустя десятилетия после смерти Кантора Витгенштейн сетовал на то, что математика «насквозь пронизана пагубными идиомами теории множеств», которые он отверг как «полнейшую чепуху», которая является «смешной» и «неправильной».[9] Периодические приступы депрессии Кантора с 1884 года до конца его жизни были списаны на враждебное отношение многих его современников.[10] хотя некоторые объяснили эти эпизоды как вероятные проявления биполярное расстройство.[11]

Резкая критика сопровождалась более поздними похвалами. В 1904 г. Королевское общество наградил Кантора Медаль Сильвестра, высшая награда, которую он может присвоить работе по математике.[12] Дэвид Гильберт защищал его от критиков, заявляя: «Никто не изгонит нас из рая, созданного Кантором».[13][14]

Жизнь Георга Кантора

Молодежь и учеба

Кантор, около 1870 г.

Георг Кантор родился в 1845 году в западной купеческой колонии Санкт-Петербург, Россия, и воспитывался в городе до одиннадцати лет. Кантор, старший из шести детей, считался выдающимся скрипачом. Его дед Франц Бём (1788–1846) (скрипач Йозеф Бём брат) был известным музыкантом и солистом Российского императорского оркестра.[15] Отец Кантора был членом Санкт-Петербургская фондовая биржа; когда он заболел, семья переехала в Германию в 1856 г., сначала в Висбаден, затем к Франкфурт, стремясь к более мягким зимам, чем в Санкт-Петербурге. В 1860 году Кантор с отличием окончил Realschule в г. Дармштадт; его исключительные способности в математике, тригонометрия в частности, были отмечены. В августе 1862 года он окончил Höhere Gewerbeschule Darmstadt, ныне Technische Universität Darmstadt.[16][17] В 1862 году Кантор вошел в Швейцарский федеральный политехнический институт. Получив значительное наследство после смерти отца в июне 1863 года,[18] Кантор перенес свои исследования в Берлинский университет, посещая лекции Леопольд Кронекер, Карл Вейерштрасс и Эрнст Куммер. Лето 1866 года он провел в Геттингенский университет, а затем и центр математических исследований. Кантор хорошо учился и получил докторскую степень в 1867 году.[18][19]

Учитель и исследователь

Кантор представил свой диссертация по теории чисел в Берлинском университете в 1867 году. После непродолжительного обучения в берлинской женской школе Кантор заняла должность в Берлинском университете. Университет Галле, где он провел всю свою карьеру. Награжден реквизитом абилитация за диссертацию по теории чисел, которую он представил в 1869 г. Университет Галле.[19][20]

В 1874 году Кантор женился на Валли Гуттманн. У них было шестеро детей, последний из которых (Рудольф) родился в 1886 году. Кантор смог содержать семью, несмотря на скромную академическую зарплату, благодаря наследству от отца. Во время своего медового месяца в Горы Гарц, Кантор много времени проводил в математических дискуссиях с Ричард Дедекинд, которого он встретил двумя годами ранее во время отпуска в Швейцарии.

Кантор получил звание экстраординарного профессора в 1872 году и стал полным профессором в 1879 году.[19][18] Достижение последнего звания в возрасте 34 лет было заметным достижением, но Кантор хотел стул в более престижном университете, в частности в Берлине, в то время ведущем немецком университете. Однако его работа встретила слишком много возражений, чтобы это было возможно.[21] Кронекер, руководивший математикой в ​​Берлине до своей смерти в 1891 году, испытывал все большее неудобство из-за перспективы иметь Кантора своим коллегой.[22] воспринимая его как «развратника молодежи» за то, что он преподал свои идеи молодому поколению математиков.[23] Что еще хуже, Кронекер, авторитетная фигура в математическом сообществе и бывший профессор Кантора, принципиально не соглашался с направлением работы Кантора с тех пор, как он намеренно отложил публикацию первой крупной публикации Кантора в 1874 году.[19] Кронекер, который теперь считается одним из основателей конструктивная точка зрения в математике, не любил большую часть теории множеств Кантора, потому что она утверждала существование множеств, удовлетворяющих определенным свойствам, без указания конкретных примеров множеств, члены которых действительно удовлетворяли этим свойствам. Каждый раз, когда Кантор подавал заявку на должность в Берлине, ему отказывали, и обычно это касалось Кронекера,[19] поэтому Кантор пришел к выводу, что позиция Кронекера не позволит ему когда-либо покинуть Галле.

В 1881 году коллега Кантора из Галле Эдуард Гейне умер, освободив стул. Галле принял предложение Кантора предложить его Дедекинду, Генрих М. Вебер и Франц Мертенс, именно в таком порядке, но каждый отказался от стула после того, как ему его предложили. В конце концов был назначен Фридрих Вангерин, но он никогда не был близок с Кантором.

В 1882 году математическая переписка между Кантором и Дедекиндом подошла к концу, по-видимому, в результате того, что Дедекинд отказался от кафедры в Галле.[24] Кантор также начал еще одну важную переписку с Гёста Миттаг-Леффлер в Швеции и вскоре начал публиковаться в журнале Mittag-Leffler Acta Mathematica. Но в 1885 году Миттаг-Леффлер был обеспокоен философской сущностью и новой терминологией в статье, которую Кантор представил. Acta.[25] Он попросил Кантора забрать бумагу из Acta в то время как это было в доказательстве, написав, что это было «… лет на сто раньше». Кантор подчинился, но затем прервал свои отношения и переписку с Миттаг-Леффлер, написав третьему лицу: «Если бы Миттаг-Леффлер добился своего, мне пришлось бы подождать до 1984 года, что мне казалось слишком большим требованием!». .. Но, конечно, я больше никогда не хочу ничего знать о Acta Mathematica."[26]

Кантор пережил свой первый известный приступ депрессии в мае 1884 года.[18][27] Критика его работ давила на него: в каждом из пятидесяти двух писем, которые он написал Миттаг-Леффлеру в 1884 году, упоминался Кронекер. Отрывок из одного из этих писем показывает ущерб, нанесенный самоуверенности Кантора:

... Не знаю, когда вернусь к продолжению моей научной работы. В настоящий момент я абсолютно ничего не могу с этим поделать и ограничиваюсь самой необходимой обязанностью моих лекций; насколько я был бы счастливее, если бы был активным в научной сфере, если бы имел необходимую душевную свежесть.[28]

Этот кризис заставил его обратиться с лекциями по философии, а не по математике. Он также начал интенсивное изучение Елизаветинская литература думая, что могут быть доказательства того, что Френсис Бэкон написал пьесы, приписываемые Уильям Шекспир (видеть Вопрос об авторстве Шекспира ); В конечном итоге это привело к двум брошюрам, опубликованным в 1896 и 1897 годах.[29]

Вскоре после этого Кантор выздоровел и впоследствии внес важный вклад, в том числе диагональный аргумент и теорема. Однако он никогда больше не достиг высокого уровня своих замечательных работ 1874–1884 годов, даже после смерти Кронекера 29 декабря 1891 года.[19] В конце концов он искал и достиг примирения с Кронекером. Тем не менее философские разногласия и разделявшие их трудности сохранялись.

В 1889 году Кантор сыграл важную роль в создании Немецкое математическое общество[19] и председательствовал на его первом заседании в Галле в 1891 году, где он впервые представил свой диагональный аргумент; его репутация была достаточно сильной, несмотря на сопротивление Кронекера его работе, чтобы гарантировать, что он был избран первым президентом этого общества. Не обращая внимания на враждебность, которую Кронекер проявил к нему, Кантор пригласил его выступить на собрании, но Кронекер не смог этого сделать, потому что его жена умирала от травм, полученных в то время во время катания на лыжах. Георг Кантор также сыграл важную роль в создании первого Международный конгресс математиков, который проходил в Цюрихе, Швейцария, в 1897 году.[19]

Спустя годы и смерть

После госпитализации Кантора в 1884 году нет никаких записей о том, что он был санаторий снова до 1899 г.[27] Вскоре после этой второй госпитализации младший сын Кантора Рудольф внезапно скончался 16 декабря (Кантор читал лекцию о своих взглядах на Бэконовская теория и Уильям Шекспир ), и эта трагедия лишила Кантора большей части его страсти к математике.[30] Кантора снова госпитализировали в 1903 году. Год спустя он был возмущен и взволнован статьей, представленной Юлиус Кениг на Третьем Международный конгресс математиков. В статье предпринята попытка доказать ложность основных положений теории трансфинитных множеств. Поскольку газету читали в присутствии его дочерей и коллег, Кантор чувствовал себя публично униженным.[31] Несмотря на то что Эрнст Цермело Менее чем через день продемонстрировал, что доказательство Кенига провалилось, Кантор был потрясен и на мгновение задал вопрос Богу.[12] Кантор всю оставшуюся жизнь страдал от хронической депрессии, из-за чего его несколько раз освобождали от преподавания и неоднократно помещали в различные санатории. Событиям 1904 года предшествовала серия госпитализаций с интервалом в два-три года.[32] Однако он не отказался от математики полностью, читая лекции о парадоксах теории множеств (Парадокс Бурали-Форти, Парадокс Кантора, и Парадокс Рассела ) на встречу Deutsche Mathematiker-Vereinigung в 1903 г. и участие в Международном конгрессе математиков в г. Гейдельберг в 1904 г.

В 1911 году Кантор был одним из выдающихся иностранных ученых, приглашенных на празднование 500-летия основания Сент-Эндрюсский университет в Шотландии. Кантор присутствовал, надеясь встретиться Бертран Рассел, недавно опубликованные Principia Mathematica неоднократно цитировал работы Кантора, но этого не произошло. В следующем году Сент-Эндрюс присвоил Кантору звание почетного доктора, но болезнь помешала ему получить эту степень лично.

Кантор вышел на пенсию в 1913 году, живя в бедности и страдая от недоедание в течение Первая Мировая Война.[33] Публичное празднование его 70-летия было отменено из-за войны. В июне 1917 года он в последний раз пошел в санаторий и постоянно писал жене, прося отпустить его домой. У Георга Кантора случился сердечный приступ 6 января 1918 года в санатории, где он провел последний год своей жизни.[18]

Математическая работа

Работа Кантора между 1874 и 1884 годами является источником теория множеств.[34] До этой работы понятие множества было довольно элементарным, и оно использовалось неявно с самого начала математики, восходя к идеям математики. Аристотель. Никто не осознавал, что теория множеств имеет нетривиальное содержание. До Кантора существовали только конечные множества (которые легко понять) и «бесконечное» (которое считалось темой для философских, а не математических дискуссий). Доказав, что существует (бесконечно) много возможных размеров бесконечных множеств, Кантор установил, что теория множеств нетривиальна и требует изучения. Теория множеств стал играть роль основополагающая теория в современной математике, в том смысле, что она интерпретирует предложения о математических объектах (например, числах и функциях) из всех традиционных областей математики (таких как алгебра, анализ и топология ) в единой теории и предоставляет стандартный набор аксиом для их доказательства или опровержения. Основные понятия теории множеств теперь используются во всей математике.[35]

В одной из своих первых статей[36] Кантор доказал, что множество действительные числа «многочисленнее», чем набор натуральные числа; это впервые показало, что существует бесконечное множество различных размеры. Он также был первым, кто осознал важность взаимно однозначные соответствия (далее обозначаемое как «соответствие один-к-одному») в теории множеств. Он использовал это понятие для определения конечный и бесконечные множества, разделив последние на счетный (или счетно бесконечные) множества и неисчислимые множества (бесчисленное множество множеств).[37]

Кантор разработал важные концепции в топология и их отношение к мощность. Например, он показал, что Кантор набор, обнаруженный Генри Джон Стивен Смит в 1875 г.,[38] является нигде не плотный, но имеет ту же мощность, что и множество всех действительных чисел, тогда как рациональные везде плотные, но счетные. Он также показал, что все счетные плотные линейные порядки без конечных точек изоморфны по порядку рациональное число.

Кантор ввел в теорию множеств фундаментальные конструкции, такие как набор мощности набора А, который представляет собой набор всех возможных подмножества из А. Позже он доказал, что размер силового набора А строго больше, чем размер А, даже когда А бесконечное множество; этот результат вскоре стал известен как Теорема кантора. Кантор разработал целую теорию и арифметика бесконечных множеств, называется кардиналы и порядковые, что расширило арифметику натуральных чисел. Его обозначение количественных чисел было еврейской буквой. (алеф ) с индексом натурального числа; для ординалов он использовал греческую букву ω (омега ). Это обозначение используется до сих пор.

В Гипотеза континуума, представленный Кантором, был представлен Дэвид Гильберт как первый из его двадцать три открытых проблемы в своем обращении в 1900 г. Международный конгресс математиков в Париже. Работа Кантора также привлекла положительное внимание, помимо прославленного восхваления Гильберта.[14] Философ США Чарльз Сандерс Пирс высоко оценил теорию множеств Кантора и после публичных лекций, прочитанных Кантором на первом Международном конгрессе математиков, состоявшемся в Цюрихе в 1897 году, Адольф Гурвиц и Жак Адамар также оба выразили свое восхищение. На этом Конгрессе Кантор возобновил дружбу и переписку с Дедекиндом. С 1905 года Кантор переписывался со своим британским поклонником и переводчиком. Филип Журден по истории теория множеств и о религиозных идеях Кантора. Позднее это было опубликовано, как и несколько его описательных работ.

Теория чисел, тригонометрические ряды и ординалы

Первые десять работ Кантора были на теория чисел, тема его диссертации. По предложению Эдуард Гейне, профессор Галле, Кантор обратился к анализ. Гейне предложил Кантору решить открытая проблема что ускользнуло Питер Густав Лежен Дирихле, Рудольф Липшиц, Бернхард Риманн, и сам Гейне: уникальность представления функция к тригонометрический ряд. Кантор решил эту проблему в 1869 году. Именно во время работы над этой проблемой он открыл трансфинитные ординалы, которые появлялись как индексы. п в пth производный набор Sп набора S нулей тригонометрического ряда. Для тригонометрического ряда f (x) с S В качестве набора нулей Кантор открыл процедуру, которая произвела еще один тригонометрический ряд, который S1 в виде набора нулей, где S1 это набор предельные точки из S. Если Sк + 1 - множество предельных точек Sk, то он мог бы построить тригонометрический ряд, нули которого равны Sк + 1. Потому что наборы Sk были замкнуты, они содержали свои предельные точки, а пересечение бесконечной убывающей последовательности множеств S, S1, S2, S3, ... сформировали набор пределов, который мы бы теперь назвали Sω, а потом он заметил, что Sω также должен иметь набор предельных точек Sω + 1, и так далее. У него были примеры, которые продолжались вечно, и вот вам была естественная бесконечная последовательность бесконечных чисел. ω, ω + 1, ω + 2, ...[39]

Между 1870 и 1872 годами Кантор опубликовал больше статей о тригонометрических рядах, а также статью, определяющую иррациональные числа в качестве сходящиеся последовательности из рациональное число. Дедекинд, с которым Кантор подружился в 1872 году, процитировал эту статью позже в том же году в статье, в которой он впервые изложил свое знаменитое определение действительных чисел как Дедекинд сокращает. Расширяя понятие числа с помощью своей революционной концепции бесконечной мощности, Кантор парадоксальным образом выступал против теорий бесконечно малые его современников Отто Штольц и Поль дю Буа-Реймон, описывая их как "мерзость" и "палочку холеры математики".[40] Кантор также опубликовал ошибочное «доказательство» несостоятельности бесконечно малые.[41]

Теория множеств

Иллюстрация Диагональный аргумент Кантора за существование бесчисленные наборы.[42] Последовательность внизу не может быть нигде в бесконечном списке последовательностей выше.

Начало теории множеств как раздела математики часто отмечается публикацией Бумага Кантора 1874 г.,[34] "Ueber eine Eigenschaft des Inbegriffes Aller reellen algebraischen Zahlen" ("Об одном свойстве совокупности всех действительных алгебраических чисел").[43] Эта статья была первой, в которой было дано строгое доказательство того, что существует более одного вида бесконечности. Ранее все бесконечные коллекции неявно предполагались равномерный (то есть «одинакового размера» или с одинаковым количеством элементов).[44] Кантор доказал, что набор действительных чисел и набор положительных чисел целые числа не равномерны. Другими словами, настоящие числа не счетный. Его доказательство отличается от диагональный аргумент что он дал в 1891 году.[45] Статья Кантора также содержит новый метод построения трансцендентные числа. Трансцендентные числа были впервые построены Джозеф Лиувиль в 1844 г.[46]

Кантор установил эти результаты, используя две конструкции. Его первая конструкция показывает, как писать настоящие алгебраические числа[47] как последовательность а1, а2, а3, .... Другими словами, действительные алгебраические числа счетны. Кантор начинает свое второе построение с любой последовательности действительных чисел. Используя эту последовательность, он строит вложенные интервалы чей пересечение содержит действительное число, не входящее в последовательность. Поскольку любую последовательность действительных чисел можно использовать для построения действительного числа, не входящего в последовательность, действительные числа не могут быть записаны как последовательность, то есть действительные числа не считаются. Применяя свою конструкцию к последовательности действительных алгебраических чисел, Кантор производит трансцендентное число. Кантор указывает, что его конструкции доказывают больше, а именно, они обеспечивают новое доказательство теоремы Лиувилля: каждый интервал содержит бесконечно много трансцендентных чисел.[48] Следующая статья Кантора содержит конструкцию, которая доказывает, что набор трансцендентных чисел имеет ту же «мощность» (см. Ниже), что и набор действительных чисел.[49]

Между 1879 и 1884 годами Кантор опубликовал серию из шести статей в Mathematische Annalen это вместе составило введение в его теорию множеств. В то же время росла оппозиция идеям Кантора во главе с Леопольдом Кронекером, который признавал математические концепции только в том случае, если они могли быть построены в конечный количество шагов от натуральных чисел, которые он принял как интуитивно заданные. Для Кронекера канторовская иерархия бесконечностей была недопустимой, так как принятие концепции актуальная бесконечность откроет дверь к парадоксам, которые поставят под сомнение обоснованность математики в целом.[50] Кантор также представил Кантор набор в течение этого периода.

Пятая статья в этой серии "Grundlagen einer allgemeinen Mannigfaltigkeitslehre " ("Основы общей теории агрегатов »), опубликованный в 1883 г.,[51] был самым важным из шести и также был опубликован как отдельный монография. Он содержал ответ Кантора своим критикам и показал, как трансфинитные числа были систематическим продолжением натуральных чисел. Он начинается с определения хорошо организованный наборы. Порядковые номера затем вводятся как порядковые типы хорошо упорядоченных множеств. Затем Кантор определяет сложение и умножение кардинал и порядковые номера. В 1885 году Кантор расширил свою теорию порядковых типов, так что порядковые числа стали просто частным случаем порядковых типов.

В 1891 году он опубликовал статью, содержащую свой элегантный «диагональный аргумент» в пользу существования несчетного множества. Он применил ту же идею, чтобы доказать Теорема кантора: the мощность силового набора комплекта А строго больше, чем мощность А. Это установило богатство иерархии бесконечных множеств и кардинал и порядковая арифметика что определил Кантор. Его аргумент является основополагающим в решении Проблема с остановкой и доказательство Первая теорема Гёделя о неполноте. Кантор написал на Гипотеза Гольдбаха в 1894 г.

Отрывок из статьи Георга Кантора с его определением множества

В 1895 и 1897 Кантор опубликовал двухчастную статью в Mathematische Annalen под Феликс Кляйн редакция; это были его последние значительные работы по теории множеств.[52] Первая статья начинается с определения множества, подмножество и т. д. способами, которые сейчас были бы в значительной степени приемлемыми. Рассмотрены кардинальная и порядковая арифметика. Кантор хотел, чтобы вторая статья включала доказательство гипотезы континуума, но ему пришлось довольствоваться изложением своей теории упорядоченные наборы и порядковые номера. Кантор пытается доказать, что если А и B наборы с А эквивалент к подмножеству B и B эквивалентен подмножеству А, тогда А и B эквивалентны. Эрнст Шредер сформулировал эту теорему несколько раньше, но его доказательство, как и доказательство Кантора, было ошибочным. Феликс Бернштейн представил правильное доказательство в своей докторской диссертации 1898 года; отсюда и название Теорема Кантора – Бернштейна – Шредера..

Индивидуальная переписка

Основная статья: Биекция
Биективная функция

Кантора 1874 г. Crelle бумага была первой, кто использовал понятие Индивидуальная переписка, хотя он не использовал эту фразу. Затем он начал искать соответствие один-к-одному между точками единичный квадрат и точки юнита отрезок. В письме Ричарду Дедекинду 1877 года Кантор доказал, что сильнее результат: для любого положительного целого числа п, существует соответствие один-к-одному между точками на единичном отрезке прямой и всеми точками в п-мерное пространство. Об этом открытии Кантор писал Дедекинду: "Je le vois, mais je ne le crois pas!"(" Я вижу, но не верю! ")[53] Результат, который он счел столь удивительным, имеет значение для геометрии и понятия измерение.

В 1878 году Кантор представил в журнал Crelle's еще одну статью, в которой он точно определил концепцию соответствия один-к-одному и ввел понятие "мощность "(термин, взятый из Якоб Штайнер ) или «эквивалентность» наборов: два набора эквивалентны (имеют одинаковую мощность), если между ними существует соответствие один-к-одному. Кантор определил счетные множества (или счетные множества) как множества, которые можно поставить в соответствие 1: 1 с натуральные числа, и доказал счетность рациональных чисел. Он также доказал, что п-размерный Евклидово пространство рп имеет ту же силу, что и действительные числа р, как и счетное бесконечное товар копий р. Хотя он свободно использовал счетность как концепцию, он не писал слово «счетность» до 1883 года. Кантор также обсуждал свои взгляды на измерение, подчеркивая, что его отображение между единичный интервал и единичный квадрат не был непрерывный один.

Эта статья вызвала недовольство Кронекера, и Кантор хотел ее отозвать; однако Дедекинд убедил его этого не делать и Карл Вейерштрасс поддержал его публикацию.[54] Тем не менее Кантор больше никогда ничего не представлял Креллю.

Гипотеза континуума

Основная статья: Гипотеза континуума

Кантор был первым, кто сформулировал то, что позже стало известно как гипотеза континуума или CH: не существует множества, мощность которого больше, чем у натуральных чисел, и меньше, чем у действительных чисел (или, что то же самое, мощность действительных чисел равна точно алеф-он, а не просто по меньшей мере алеф-он). Кантор считал, что гипотеза континуума верна, и много лет пытался доказывать это напрасно. Его неспособность доказать гипотезу континуума вызвала у него серьезное беспокойство.[10]

Трудности, с которыми столкнулся Кантор при доказательстве гипотезы континуума, подчеркнули более поздние разработки в области математики: результат 1940 г. Курт Гёдель и 1963 года Пол Коэн вместе означают, что гипотеза континуума не может быть ни доказана, ни опровергнута с помощью стандартных Теория множеств Цермело – Френкеля плюс аксиома выбора (комбинация, именуемая "ZFC ").[55]

Абсолютная бесконечность, упорядоченная теорема и парадоксы

В 1883 году Кантор разделил бесконечное на трансфинитное и абсолютный.[56]

Трансфинит может увеличиваться по величине, а абсолютный - не увеличиваться. Например, порядковый номер α является трансфинитным, потому что он может быть увеличен до α + 1. С другой стороны, порядковые номера образуют абсолютно бесконечную последовательность, которая не может быть увеличена по величине, потому что нет более крупных порядковых чисел, которые можно было бы добавить к ней.[57] В 1883 году Кантор также представил принцип хорошего порядка «каждый набор можно упорядочить» и заявил, что это «закон мысли».[58]

Кантор расширил свою работу над абсолютной бесконечностью, используя ее в доказательстве. Примерно в 1895 году он начал рассматривать свой принцип упорядоченности как теорему и попытался доказать ее. В 1899 году он послал Дедекинду доказательство эквивалентной теоремы Алефа: мощность каждого бесконечного множества есть алеф.[59] Во-первых, он определил два типа кратностей: согласованные кратности (множества) и несовместимые кратности (абсолютно бесконечные кратности). Затем он предположил, что ординалы образуют множество, доказал, что это ведет к противоречию, и пришел к выводу, что ординалы образуют несовместимую множественность. Он использовал эту непоследовательную множественность, чтобы доказать теорему Алефа.[60] В 1932 году Цермело раскритиковал конструкцию в доказательстве Кантора.[61]

Кантор избегал парадоксы признавая, что есть два типа множественности. В его теории множеств, когда предполагается, что ординалы образуют множество, возникающее противоречие подразумевает только то, что ординалы образуют несовместимую множественность. С другой стороны, Бертран Рассел рассматривать все коллекции как наборы, что приводит к парадоксам. В теории множеств Рассела порядковые числа образуют множество, поэтому возникающее противоречие означает, что теория непоследовательный. С 1901 по 1903 год Рассел обнаружил три парадокса, свидетельствующих о несостоятельности его теории множеств: Парадокс Бурали-Форти (о котором только что упоминалось), Парадокс Кантора, и Парадокс Рассела.[62] Рассел назвал парадоксы в честь Чезаре Бурали-Форти и Кантор, хотя ни один из них не считал, что они нашли парадоксы.[63]

В 1908 году Цермело опубликовал его система аксиом теории множеств. У него было две мотивации для разработки системы аксиом: устранение парадоксов и обеспечение его доказательства теорема о хорошем порядке.[64] Цермело доказал эту теорему в 1904 году, используя аксиома выбора, но его доказательство подверглось критике по разным причинам.[65] Его ответ на критику включал его систему аксиом и новое доказательство теоремы о хорошем порядке. Его аксиомы подтверждают это новое доказательство и устраняют парадоксы, ограничивая формирование множеств.[66]

В 1923 г. Джон фон Нейман разработал систему аксиом, которая устраняет парадоксы, используя подход, аналогичный подходу Кантора, а именно, идентифицируя коллекции, которые не являются наборами, и обрабатывая их по-разному. Фон Нейман заявил, что учебный класс слишком велик для множества, если его можно поставить во взаимно однозначное соответствие с классом всех множеств. Он определил множество как класс, который является членом некоторого класса, и сформулировал аксиому: класс не является множеством тогда и только тогда, когда существует взаимно однозначное соответствие между ним и классом всех множеств. Эта аксиома подразумевает, что эти большие классы не являются наборами, что устраняет парадоксы, поскольку они не могут быть членами какого-либо класса.[67] Фон Нейман также использовал свою аксиому для доказательства теоремы об упорядочивании: как и Кантор, он предположил, что ординалы образуют множество. Полученное противоречие означает, что класс всех ординалов не является множеством. Тогда его аксиома обеспечивает взаимно однозначное соответствие между этим классом и классом всех множеств. Это соответствие упорядочивает класс всех множеств, откуда следует теорема о хорошем упорядочивании.[68] В 1930 году Цермело определил модели теории множеств, удовлетворяющие аксиоме фон Неймана.[69]

Философия, религия, литература и математика Кантора

Представление о существовании актуальная бесконечность была важной общей заботой в области математики, философии и религии. Сохранение православие Отношения между Богом и математикой, хотя и не в той форме, которую придерживаются его критики, долгое время занимали Кантора.[70] Он прямо обратился к этому пересечению между этими дисциплинами во введении к своему Grundlagen einer allgemeinen Mannigfaltigkeitslehre, где он подчеркнул связь между своим взглядом на бесконечное и философским.[71] Для Кантора его математические взгляды были неразрывно связаны с их философскими и теологическими последствиями - он определил Абсолютно Бесконечный с Богом,[72] и он считал, что его работа над трансфинитными числами была напрямую передана ему Богом, который выбрал Кантора, чтобы открыть их миру.[5]

Дебаты среди математиков выросли из противоположных взглядов в философия математики относительно природы актуальной бесконечности. Некоторые придерживались точки зрения, что бесконечность является абстракцией, которая не является математически законной, и отрицали ее существование.[73] Математики трех основных школ мысли (конструктивизм и его два ответвления, интуиционизм и финитизм ) выступил против теорий Кантора в этом вопросе. Для конструктивистов, таких как Кронекер, это отрицание актуальной бесконечности проистекает из фундаментального несогласия с идеей, что неконструктивные доказательства такие как диагональный аргумент Кантора, являются достаточным доказательством того, что что-то существует, вместо этого утверждая, что конструктивные доказательства необходимы. Интуиционизм также отвергает идею о том, что актуальная бесконечность является выражением любой реальности, но приходит к решению другим путем, нежели конструктивизм. Во-первых, аргумент Кантора опирается на логику, чтобы доказать существование трансфинитных чисел как реальной математической сущности, тогда как интуиционисты считают, что математические сущности не могут быть сведены к логическим суждениям, а берут начало в интуиции разума.[74] Во-вторых, понятие бесконечности как выражения реальности само по себе запрещено в интуиционизме, поскольку человеческий разум не может интуитивно конструировать бесконечное множество.[75] Математики, такие как Л. Э. Дж. Брауэр и особенно Анри Пуанкаре принял интуиционист позиция против работы Кантора. Ну наконец то, Витгенштейн нападки были финитистскими: он считал, что диагональный аргумент Кантора объединяет интенция набора кардинальных или действительных чисел с его расширение, таким образом объединяя концепцию правил создания набора с фактическим набором.[9]

Некоторые христианские богословы рассматривали работу Кантора как вызов уникальности абсолютной бесконечности в природе Бога.[6] Особенно, неотомист мыслители видели в существовании актуальной бесконечности, состоящей из чего-то иного, кроме Бога, как угрозу «исключительному притязанию Бога на высшую бесконечность».[76] Кантор твердо верил, что эта точка зрения была неправильной интерпретацией бесконечности, и был убежден, что теория множеств может помочь исправить эту ошибку:[77] «... трансфинитные виды находятся в таком же распоряжении намерений Создателя и Его абсолютной безграничной воли, как и конечные числа».[78]

Кантор также считал, что его теория трансфинитных чисел противоречит обоим. материализм и детерминизм - и был шокирован, когда понял, что он был единственным преподавателем Галле, который нет придерживаться детерминированных философских убеждений.[79]

Для Кантора было важно, чтобы его философия обеспечивала «органическое объяснение» природы, и в его 1883 г. Grundlagen, он сказал, что такое объяснение может быть получено только при привлечении ресурсов философии Спинозы и Лейбница.[80] Делая эти заявления, Кантор, возможно, находился под влиянием Ф.А. Тренделенбург, чьи лекционные курсы он посещал в Берлине, и, в свою очередь, Кантор подготовил латинский комментарий к Книге 1 Спинозы. Этика. Ф.А. Тренделенбург был также экзаменатором Кантора Хабилитация.[81][82]

В 1888 году Кантор опубликовал свою переписку с несколькими философами о философских последствиях своей теории множеств. Стремясь убедить других христианских мыслителей и авторитетов принять его взгляды, Кантор переписывался с такими христианскими философами, как Тильман Пеш и Джозеф Хонтхайм,[83] а также теологи, такие как кардинал Иоганн Баптист Франзелин, который однажды ответил, приравняв теорию трансфинитных чисел к пантеизм.[7] Кантор даже отправил одно письмо напрямую Папа Лев XIII сам и адресовал ему несколько брошюр.[77]

Философия Кантора о природе чисел привела его к утверждению веры в свободу математики постулировать и доказывать концепции вне области физических явлений как выражения внутри внутренней реальности. Единственные ограничения на это метафизический Система состоит в том, что все математические концепции должны быть лишены внутреннего противоречия и что они вытекают из существующих определений, аксиом и теорем. Эта вера резюмируется в его утверждении, что «сущность математики - ее свобода».[84] Эти идеи совпадают с идеями Эдмунд Гуссерль, которого Кантор встретил в Галле.[85]

Между тем, сам Кантор был яростным противником бесконечно малые, описывая их как «мерзость» и «палочку холеры в математике».[40]

Статья Кантора 1883 года показывает, что он хорошо знал оппозиция его идеи встречались: «... Я понимаю, что в этом начинании я ставлю себя в определенную оппозицию к широко распространенным взглядам на математическую бесконечность и к часто защищаемым мнениям о природе чисел».[86]

Следовательно, он уделяет много места обоснованию своей более ранней работы, утверждая, что математические концепции могут вводиться свободно, пока они свободны от противоречие и определены в терминах ранее принятых концепций. Он также цитирует Аристотеля, Рене Декарт, Джордж Беркли, Готфрид Лейбниц, и Бернар Больцано на бесконечности. Вместо этого он всегда категорически отвергал Кант философия России, как в области философии математики, так и метафизики. Он разделял девиз Б. Рассела «Кант или Кантор» и определял Канта «вон того софистического филистера, который так плохо разбирался в математике».[87]

Кантора происхождение

The title on the memorial plaque (in Russian): "In this building was born and lived from 1845 till 1854 the great mathematician and creator of set theory Georg Cantor", Васильевский остров, Saint-Petersburg.

Cantor's paternal grandparents were from Копенгаген and fled to Russia from the disruption of the Наполеоновские войны. There is very little direct information on his grandparents.[88]Cantor was sometimes called Jewish in his lifetime,[89] but has also variously been called Russian, German, and Danish as well.

Jakob Cantor, Cantor's grandfather, gave his children Christian святые ' names. Further, several of his grandmother's relatives were in the Czarist civil service, which would not welcome Jews, unless they преобразованный к христианству. Cantor's father, Georg Waldemar Cantor, was educated in the Лютеранский mission in Saint Petersburg, and his correspondence with his son shows both of them as devout Lutherans. Very little is known for sure about George Woldemar's origin or education.[90] His mother, Maria Anna Böhm, was an Австро-венгерский born in Saint Petersburg and baptized Римский католик; she converted to Протестантизм upon marriage. However, there is a letter from Cantor's brother Louis to their mother, stating:

Mögen wir zehnmal von Juden abstammen und ich im Princip noch so sehr für Gleichberechtigung der Hebräer sein, im socialen Leben sind mir Christen lieber ...[90]

("Even if we were descended from Jews ten times over, and even though I may be, in principle, completely in favour of equal rights for Hebrews, in social life I prefer Christians...") which could be read to imply that she was of Jewish ancestry.[91]

There were documented statements, during the 1930s, that called this Jewish ancestry into question:

More often [i.e., than the ancestry of the mother] the question has been discussed of whether Georg Cantor was of Jewish origin. About this it is reported in a notice of the Danish genealogical Institute in Copenhagen from the year 1937 concerning his father: "It is hereby testified that Georg Woldemar Cantor, born 1809 or 1814, is not present in the registers of the Jewish community, and that he completely without doubt was not a Jew ..."[90]

It is also later said in the same document:

Also efforts for a long time by the librarian Josef Fischer, one of the best experts on Jewish genealogy in Denmark, charged with identifying Jewish professors, that Georg Cantor was of Jewish descent, finished without result. [Something seems to be wrong with this sentence, but the meaning seems clear enough.] In Cantor's published works and also in his Nachlass there are no statements by himself which relate to a Jewish origin of his ancestors. There is to be sure in the Nachlass a copy of a letter of his brother Ludwig from 18 November 1869 to their mother with some unpleasant antisemitic statements, in which it is said among other things: ...[90]

(the rest of the quote is finished by the very first quote above). В Математики, Эрик Темпл Белл described Cantor as being "of pure Jewish descent on both sides", although both parents were baptized. In a 1971 article entitled "Towards a Biography of Georg Cantor", the British historian of mathematics Ivor Grattan-Guinness mentions (Анналы науки 27, pp. 345–391, 1971) that he was unable to find evidence of Jewish ancestry. (He also states that Cantor's wife, Vally Guttmann, was Jewish).

In a letter written by Georg Cantor to Пол Таннери in 1896 (Paul Tannery, Memoires Scientifique 13 Correspondence, Gauthier-Villars, Paris, 1934, p. 306), Cantor states that his paternal grandparents were members of the Sephardic Jewish community of Copenhagen. Specifically, Cantor states in describing his father: "Er ist aber in Kopenhagen geboren, von israelitischen Eltern, die der dortigen portugisischen Judengemeinde...." ("He was born in Copenhagen of Jewish (lit: 'Israelite') parents from the local Portuguese-Jewish community.")[92]

In addition, Cantor's maternal great uncle,[93] a Hungarian violinist Josef Böhm, has been described as Jewish,[94] which may imply that Cantor's mother was at least partly descended from the Hungarian Jewish community.[95]

In a letter to Bertrand Russell, Cantor described his ancestry and self-perception as follows:

Neither my father nor my mother were of German blood, the first being a Dane, borne in Kopenhagen, my mother of Austrian Hungar descension. You must know, Sir, that I am not a regular just Germain, for I am born 3 March 1845 at Saint Peterborough, Capital of Russia, but I went with my father and mother and brothers and sister, eleven years old in the year 1856, into Germany.[96]

Биографии

Until the 1970s, the chief academic publications on Cantor were two short monographs by Arthur Moritz Schönflies (1927) – largely the correspondence with Mittag-Leffler – and Fraenkel (1930). Both were at second and third hand; neither had much on his personal life. The gap was largely filled by Эрик Темпл Белл с Математики (1937), which one of Cantor's modern biographers describes as "perhaps the most widely read modern book on the история математики "; and as "one of the worst".[97] Bell presents Cantor's relationship with his father as Эдипов, Cantor's differences with Kronecker as a quarrel between two Jews, and Cantor's madness as Romantic despair over his failure to win acceptance for his mathematics. Grattan-Guinness (1971) found that none of these claims were true, but they may be found in many books of the intervening period, owing to the absence of any other narrative. There are other legends, independent of Bell – including one that labels Cantor's father a foundling, shipped to Saint Petersburg by unknown parents.[98] A critique of Bell's book is contained in Джозеф Даубен биография.[99] Writes Dauben:

Cantor devoted some of his most vituperative correspondence, as well as a portion of the Beiträge, to attacking what he described at one point as the 'бесконечно малый Cholera bacillus of mathematics', which had spread from Germany through the work of Thomae, du Bois Reymond и Штольц, to infect Italian mathematics ... Any acceptance of infinitesimals necessarily meant that his own theory of number was incomplete. Thus to accept the work of Thomae, du Bois-Reymond, Stolz and Веронезе was to deny the perfection of Cantor's own creation. Understandably, Cantor launched a thorough campaign to discredit Veronese's work in every way possible.[100]

Смотрите также

Примечания

  1. ^ Grattan-Guinness 2000, п. 351.
  2. ^ The biographical material in this article is mostly drawn from Dauben 1979. Grattan-Guinness 1971, и Purkert and Ilgauds 1985 are useful additional sources.
  3. ^ Dauben 2004, п. 1.
  4. ^ Dauben, Joseph Warren (1979). Georg Cantor His Mathematics and Philosophy of the Infinite. princeton university press. стр. введение. ISBN  9780691024479.
  5. ^ а б Dauben 2004, pp. 8, 11, 12–13.
  6. ^ а б Dauben 1977, п. 86; Dauben 1979, pp. 120, 143.
  7. ^ а б Dauben 1977, п. 102.
  8. ^ Dauben 2004, п. 1; Dauben 1977, п. 89 15n.
  9. ^ а б Rodych 2007.
  10. ^ а б Dauben 1979, п. 280: "... the tradition made popular by Arthur Moritz Schönflies blamed Kronecker's persistent criticism and Cantor's inability to confirm his continuum hypothesis" for Cantor's recurring bouts of depression.
  11. ^ Dauben 2004, п. 1. Text includes a 1964 quote from psychiatrist Karl Pollitt, one of Cantor's examining physicians at Halle Nervenklinik, referring to Cantor's психическое заболевание as "cyclic manic-depression".
  12. ^ а б Dauben 1979, п. 248.
  13. ^ Гильберт (1926, п. 170): "Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben können." (Literally: "Out of the Paradise that Cantor created for us, no one must be able to expel us.")
  14. ^ а б Reid, Constance (1996). Гильберта. Нью-Йорк: Springer-Verlag. п.177. ISBN  978-0-387-04999-1.
  15. ^ ru: The musical encyclopedia (Музыкальная энциклопедия).
  16. ^ "Georg Cantor (1845-1918)". www-groups.dcs.st-and.ac.uk. Получено 14 сентября, 2019.
  17. ^ Georg Cantor 1845-1918. Бирхаузер. 1985 г. ISBN  978-3764317706.
  18. ^ а б c d е "Cantor biography". www-history.mcs.st-andrews.ac.uk. Получено 6 октября, 2017.
  19. ^ а б c d е ж грамм час Bruno, Leonard C.; Baker, Lawrence W. (1999). Math and mathematicians: the history of math discoveries around the world. Detroit, Mich.: U X L. p.54. ISBN  978-0787638139. OCLC  41497065.
  20. ^ О'Коннор, Джон Дж; Robertson, Edmund F (1998). "Georg Ferdinand Ludwig Philipp Cantor". MacTutor History of Mathematics.
  21. ^ Dauben 1979, п. 163.
  22. ^ Dauben 1979, п. 34.
  23. ^ Dauben 1977, п. 89 15n.
  24. ^ Dauben 1979, стр. 2–3; Grattan-Guinness 1971 С. 354–355.
  25. ^ Dauben 1979, п. 138.
  26. ^ Dauben 1979, п. 139.
  27. ^ а б Dauben 1979, п. 282.
  28. ^ Dauben 1979, п. 136; Grattan-Guinness 1971 С. 376–377. Letter dated June 21, 1884.
  29. ^ Dauben 1979, pp. 281–283.
  30. ^ Dauben 1979, п. 283.
  31. ^ For a discussion of König's paper see Dauben 1979 С. 248–250. For Cantor's reaction, see Dauben 1979, pp. 248, 283.
  32. ^ Dauben 1979 С. 283–284.
  33. ^ Dauben 1979, п. 284.
  34. ^ а б Johnson, Phillip E. (1972). "The Genesis and Development of Set Theory". Двухлетний математический журнал колледжа. 3 (1): 55–62. Дои:10.2307/3026799. JSTOR  3026799.
  35. ^ Суппес, Патрик (1972). Аксиоматическая теория множеств. Дувр. п. 1. ISBN  9780486616308. With a few rare exceptions the entities which are studied and analyzed in mathematics may be regarded as certain particular sets or classes of objects.... As a consequence, many fundamental questions about the nature of mathematics may be reduced to questions about set theory.
  36. ^ Cantor 1874
  37. ^ А счетный набор is a set which is either finite or denumerable; the denumerable sets are therefore the infinite countable sets. However, this terminology is not universally followed, and sometimes "denumerable" is used as a synonym for "countable".
  38. ^ The Cantor Set Before Cantor Математическая ассоциация Америки
  39. ^ Cooke, Roger (1993). "Uniqueness of trigonometric series and descriptive set theory, 1870–1985". Архив истории точных наук. 45 (4): 281. Дои:10.1007/BF01886630. S2CID  122744778.
  40. ^ а б Katz, Karin Usadi; Кац, Михаил Г. (2012). "A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its Historiography". Foundations of Science. 17 (1): 51–89. arXiv:1104.0375. Дои:10.1007/s10699-011-9223-1. S2CID  119250310.
  41. ^ Ehrlich, P. (2006). "The rise of non-Archimedean mathematics and the roots of a misconception. I. The emergence of non-Archimedean systems of magnitudes" (PDF). Arch. Hist. Точная наука. 60 (1): 1–121. Дои:10.1007/s00407-005-0102-4. S2CID  123157068. Архивировано из оригинал (PDF) 15 февраля 2013 г.
  42. ^ This follows closely the first part of Cantor's 1891 paper.
  43. ^ Cantor 1874. English translation: Ewald 1996, pp. 840–843.
  44. ^ For example, geometric problems posed by Галилео и Джон Данс Скот suggested that all infinite sets were equinumerous – see Moore, A. W. (April 1995). "A brief history of infinity" (PDF). Scientific American. 272 (4): 112–116 (114). Bibcode:1995SciAm.272d.112M. Дои:10.1038/scientificamerican0495-112.
  45. ^ For this, and more information on the mathematical importance of Cantor's work on set theory, see e.g., Suppes 1972.
  46. ^ Liouville, Joseph (May 13, 1844). A propos de l'existence des nombres transcendants.
  47. ^ The real algebraic numbers are the real корни из многочлен equations with целое число коэффициенты.
  48. ^ For more details on Cantor's article, see Первая статья Георга Кантора по теории множеств и Gray, Robert (1994). «Георг Кантор и трансцендентные числа» (PDF). Американский математический ежемесячный журнал. 101 (9): 819–832. Дои:10.2307/2975129. JSTOR  2975129.. Gray (pp. 821–822) describes a computer program that uses Cantor's constructions to generate a transcendental number.
  49. ^ Cantor's construction starts with the set of transcendentals Т and removes a countable подмножество {тп} (for example, тп = е / n). Call this set Т0. потом Т = Т0 ∪ {тп} = Т0 ∪ {т2п-1} ∪ {т2п}. The set of reals р = Т ∪ {ап} = Т0 ∪ {тп} ∪ {ап} куда ап is the sequence of real algebraic numbers. So both Т и р are the union of three pairwise disjoint sets: Т0 and two countable sets. A one-to-one correspondence between Т и р is given by the function: ж(т) = т если т ∈ Т0, ж(т2п-1) = тп, и ж(т2п) = ап. Cantor actually applies his construction to the irrationals rather than the transcendentals, but he knew that it applies to any set formed by removing countably many numbers from the set of reals (Cantor 1879, п. 4).
  50. ^ Dauben 1977, п. 89.
  51. ^ Cantor 1883.
  52. ^ Cantor (1895), Cantor (1897). The English translation is Cantor 1955.
  53. ^ Wallace, David Foster (2003). Everything and More: A Compact History of Infinity. Нью-Йорк: У. В. Нортон и компания. п.259. ISBN  978-0-393-00338-3.
  54. ^ Dauben 1979, pp. 69, 324 63n. The paper had been submitted in July 1877. Dedekind supported it, but delayed its publication due to Kronecker's opposition. Weierstrass actively supported it.
  55. ^ Some mathematicians consider these results to have settled the issue, and, at most, allow that it is possible to examine the formal consequences of CH or of its negation, or of axioms that imply one of those. Others continue to look for "natural" or "plausible" axioms that, when added to ZFC, will permit either a proof or refutation of CH, or even for direct evidence for or against CH itself; among the most prominent of these is В. Хью Вудин. One of Gödel's last papers argues that the CH is false, and the continuum has cardinality Aleph-2.
  56. ^ Cantor 1883, pp. 587–588; English translation: Ewald 1996, pp. 916–917.
  57. ^ Hallett 1986 С. 41–42.
  58. ^ Moore 1982, п. 42.
  59. ^ Moore 1982, п. 51. Proof of equivalence: If a set is well-ordered, then its cardinality is an aleph since the alephs are the cardinals of well-ordered sets. If a set's cardinality is an aleph, then it can be well-ordered since there is a one-to-one correspondence between it and the well-ordered set defining the aleph.
  60. ^ Hallett 1986 С. 166–169.
  61. ^ Cantor's proof, which is a доказательство от противного, starts by assuming there is a set S whose cardinality is not an aleph. A function from the ordinals to S is constructed by successively choosing different elements of S for each ordinal. If this construction runs out of elements, then the function well-orders the set S. This implies that the cardinality of S is an aleph, contradicting the assumption about S. Therefore, the function maps all the ordinals one-to-one into S. The function's изображение is an inconsistent submultiplicity contained in S, поэтому набор S is an inconsistent multiplicity, which is a contradiction. Zermelo criticized Cantor's construction: "the intuition of time is applied here to a process that goes beyond all intuition, and a fictitious entity is posited of which it is assumed that it could make successive arbitrary choices." (Hallett 1986, pp. 169–170.)
  62. ^ Мур 1988, pp. 52–53; Moore and Garciadiego 1981 С. 330–331.
  63. ^ Moore and Garciadiego 1981, pp. 331, 343; Purkert 1989, п. 56.
  64. ^ Moore 1982 С. 158–160. Moore argues that the latter was his primary motivation.
  65. ^ Moore devotes a chapter to this criticism: "Zermelo and His Critics (1904–1908)", Moore 1982, pp. 85–141.
  66. ^ Moore 1982 С. 158–160. Zermelo 1908, стр. 263–264; English translation: ван Хейеноорт 1967, п. 202.
  67. ^ Hallett 1986, pp. 288, 290–291. Cantor had pointed out that inconsistent multiplicities face the same restriction: they cannot be members of any multiplicity. (Hallett 1986, п. 286.)
  68. ^ Hallett 1986 С. 291–292.
  69. ^ Zermelo 1930; English translation: Ewald 1996, pp. 1208–1233.
  70. ^ Dauben 1979, п. 295.
  71. ^ Dauben 1979, п. 120.
  72. ^ Hallett 1986, п. 13. Compare to the writings of Фома Аквинский.
  73. ^ Dauben 1979, п. 225
  74. ^ Dauben 1979, п. 266.
  75. ^ Snapper, Ernst (1979). "The Three Crises in Mathematics: Logicism, Intuitionism and Formalism" (PDF). Mathematics Magazine. 524 (4): 207–216. Дои:10.1080/0025570X.1979.11976784. Архивировано из оригинал (PDF) 15 августа 2012 г.. Получено 2 апреля, 2013.
  76. ^ Davenport, Anne A. (1997). "The Catholics, the Cathars, and the Concept of Infinity in the Thirteenth Century". Исида. 88 (2): 263–295. Дои:10.1086/383692. JSTOR  236574. S2CID  154486558.
  77. ^ а б Dauben 1977, п. 85.
  78. ^ Cantor 1932, п. 404. Translation in Dauben 1977, п. 95.
  79. ^ Dauben 1979, п. 296.
  80. ^ Newstead, Anne (2009). "Cantor on Infinity in Nature, Number, and the Divine Mind". Американский католический философский ежеквартальный журнал. 83 (4): 533–553. Дои:10.5840/acpq200983444.
  81. ^ Newstead, Anne (2009). "Cantor on Infinity in Nature, Number, and the Divine Mind". Американский католический философский ежеквартальный журнал. 84 (3): 535.
  82. ^ Ferreiros, Jose (2004). "The Motives Behind Cantor's Set Theory—Physical, Biological and Philosophical Questions" (PDF). Наука в контексте. 17 (1–2): 49–83. Дои:10.1017/S0269889704000055. PMID  15359485.
  83. ^ Dauben 1979, п. 144.
  84. ^ Dauben 1977 С. 91–93.
  85. ^ On Cantor, Husserl, and Готтлоб Фреге, see Hill and Rosado Haddock (2000).
  86. ^ "Dauben 1979, п. 96.
  87. ^ Рассел, Бертран The Autobiography of Bertrand Russell, George Allen and Unwin Ltd., 1971 (London), vol. 1, стр. 217.
  88. ^ Например., Grattan-Guinness's only evidence on the grandfather's date of death is that he signed papers at his son's engagement.
  89. ^ Например, Еврейская энциклопедия, Изобразительное искусство. "Cantor, Georg"; Jewish Year Book 1896–97, "List of Jewish Celebrities of the Nineteenth Century", p. 119; this list has a star against people with one Jewish parent, but Cantor is not starred.
  90. ^ а б c d Purkert and Ilgauds 1985, п. 15.
  91. ^ For more information, see: Dauben 1979, п. 1 and notes; Grattan-Guinness 1971, pp. 350–352 and notes; Purkert and Ilgauds 1985; the letter is from Aczel 2000, pp. 93–94, from Louis' trip to Chicago in 1863. It is ambiguous in German, as in English, whether the recipient is included.
  92. ^ Tannery, Paul (1934) Memoires Scientifique 13 Correspondance, Gauthier-Villars, Paris, p. 306.
  93. ^ Dauben 1979, п. 274.
  94. ^ Mendelsohn, Ezra (ed.) (1993) Modern Jews and their musical agendas, Oxford University Press, стр. 9.
  95. ^ Ismerjük oket?: zsidó származású nevezetes magyarok arcképcsarnoka, István Reményi Gyenes Ex Libris, (Budapest 1997), pages 132–133
  96. ^ Рассел, Бертран. Автобиография, т. I, стр. 229. In English in the original; italics also as in the original.
  97. ^ Grattan-Guinness 1971, п. 350.
  98. ^ Grattan-Guinness 1971 (quotation from p. 350, note), Dauben 1979, п. 1 and notes. (Bell's Jewish stereotypes appear to have been removed from some postwar editions.)
  99. ^ Dauben 1979
  100. ^ Dauben, J.: The development of the Cantorian set theory, pp.~181–219. See pp.216–217. In Bos, H.; Bunn, R.; Dauben, J.; Grattan-Guinness, I.; Hawkins, T.; Pedersen, K. From the calculus to set theory, 1630–1910. An introductory history. Edited by I. Grattan-Guinness. Gerald Duckworth & Co. Ltd., London, 1980.

Рекомендации

Библиография

Older sources on Cantor's life should be treated with caution. See section #Biographies над.

Primary literature in English

Primary literature in German

Вторичная литература

  • Aczel, Amir D. (2000). The Mystery of the Aleph: Mathematics, the Kabbala, and the Search for Infinity. New York: Four Walls Eight Windows Publishing.. ISBN  0-7607-7778-0. A popular treatment of infinity, in which Cantor is frequently mentioned.
  • Dauben, Joseph W. (June 1983). "Georg Cantor and the Origins of Transfinite Set Theory". Scientific American. 248 (6): 122–131. Bibcode:1983SciAm.248f.122D. Дои:10.1038/scientificamerican0683-122.
  • Ferreirós, José (2007). Labyrinth of Thought: A History of Set Theory and Its Role in Mathematical Thought. Basel, Switzerland: Birkhäuser.. ISBN  3-7643-8349-6 Contains a detailed treatment of both Cantor's and Dedekind's contributions to set theory.
  • Халмос, Пол (1998) [1960]. Наивная теория множеств. New York & Berlin: Springer.. ISBN  3-540-90092-6
  • Гильберт, Дэвид (1926). "Über das Unendliche". Mathematische Annalen. 95: 161–190. Дои:10.1007 / BF01206605. S2CID  121888793.
  • Hill, C. O.; Rosado Haddock, G. E. (2000). Husserl or Frege? Meaning, Objectivity, and Mathematics. Чикаго: Открытый суд.. ISBN  0-8126-9538-0 Three chapters and 18 index entries on Cantor.
  • Meschkowski, Herbert (1983). Georg Cantor, Leben, Werk und Wirkung (Georg Cantor, Life, Work and Influence, in German). Vieweg, Braunschweig.
  • Newstead, Anne (2009). "Cantor on Infinity in Nature, Number, and the Divine Mind"[1], Американский католический философский ежеквартальный журнал, 83 (4): 532-553, https://doi.org/10.5840/acpq200983444. With acknowledgement of Dauben's pioneering historical work, this article further discusses Cantor's relation to the philosophy of Spinoza and Leibniz in depth, and his engagement in the Pantheismusstreit. Brief mention is made of Cantor's learning from F.A.Trendelenburg.
  • Пенроуз, Роджер (2004). Дорога к реальности. Альфред А. Кнопф.. ISBN  0-679-77631-1 Chapter 16 illustrates how Cantorian thinking intrigues a leading contemporary theoretical physicist.
  • Ракер, Руди (2005) [1982]. Бесконечность и разум. Издательство Принстонского университета.. ISBN  0-553-25531-2 Deals with similar topics to Aczel, but in more depth.
  • Rodych, Victor (2007). "Wittgenstein's Philosophy of Mathematics". В Эдвард Н. Залта (ред.). Стэнфордская энциклопедия философии. Лаборатория метафизических исследований Стэнфордского университета..
  • Leonida Lazzari, L'infinito di Cantor. Editrice Pitagora, Bologna, 2008.

внешняя ссылка