Георг Кантор

Георг Кантор
Кантор, гр. 1910 год
Рожденный	Георг Фердинанд Людвиг Филипп Кантор ( 1845-03-03 ) 3 марта 1845 г. Санкт-Петербург , Российская Империя
Умер	6 января 1918 г. ( 1918-01-06 ) (72 года) Галле , провинция Саксония, Германская империя
Национальность	Немецкий - Русский
Альма-матер	Швейцарский федеральный политехнический институт Берлинский университет Геттингенский университет
Известный	Теория множеств
Супруг	Валли Гуттманн ( м. 1874 г.)
Награды	Медаль Сильвестра (1904 г.)
Научная карьера
Поля	Математика
Учреждения	Университет Галле
Диссертация	О неопределенных уравнениях второй степени   (1867 г.)
Докторантура	Серьезное горе Карл Вейерштрасс
Подпись

Георг Фердинанд Людвиг Филипп Кантор ( / ˈ k æ n t ɔːr / KAN -tor , Немецкий: [ˈɡeːɔʁk ˈfɛʁdinant ˈluːtvɪç ˈfiːlɪp ˈkantoːɐ̯] ; 3 марта [ OS 19 февраля] 1845 г. - 6 января 1918 г. ) был математиком, сыгравшим ключевую роль в создании теории множеств , ставшей фундаментальной теорией в математике. Кантор установил важность взаимно однозначного соответствия между членами двух множеств, определил бесконечные и хорошо упорядоченные множества и доказал, что действительных чисел больше, чем натуральных . Метод доказательства этой теоремы Кантора предполагает существование бесконечности бесконечностей . Он определил кардинальные и порядковые числа и их арифметику. Работы Кантора представляют большой философский интерес, и этот факт он хорошо осознавал.

Кантора Первоначально теория трансфинитных чисел считалась противоречащей здравому смыслу и даже шокирующей. Это заставило его встретить сопротивление со стороны современников-математиков, таких как Леопольд Кронекер и Анри Пуанкаре. а затем от Германа Вейля и Л. Э. Дж. Брауэра , а Людвиг Витгенштейн выдвигал философские возражения ; см. «Споры по поводу теории Кантора» . Кантор, набожный христианин-лютеранин . считал, что эта теория была передана ему Богом. Некоторые христианские богословы (особенно нео-схоласты ) видели в работе Кантора вызов уникальности абсолютной бесконечности в природе Бога. - однажды приравняв теорию трансфинитных чисел к пантеизму. – предложение, которое Кантор решительно отверг. Не все богословы были против теории Кантора; выдающийся философ-неосхоласт Константин Гутберлет поддерживал ее, а кардинал Иоганн Баптист Францелин принял ее как действительную теорию (после того, как Кантор сделал некоторые важные разъяснения).

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

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

Биография

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

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

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

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

Кантор защитил диссертацию по теории чисел в Берлинском университете в 1867 году. После недолгого преподавания в берлинской женской школе он поступил на работу в Университет Галле , где провёл всю свою карьеру. Он был удостоен необходимой степени за свою диссертацию, в том числе по теории чисел, которую он представил в 1869 году после своего назначения в Университет Галле .

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

Кантор получил звание экстраординарного профессора в 1872 году и стал профессором в 1879 году. Получение последнего звания в возрасте 34 лет было выдающимся достижением, но Кантор желал получить кафедру в более престижном университете, в частности в Берлине, ведущем в то время университете Германии. Однако его работа встретила слишком сильное сопротивление, чтобы это было возможно. Кронекер, который возглавлял математику в Берлине до своей смерти в 1891 году, чувствовал себя все более неуютно от перспективы иметь Кантора в качестве коллеги. воспринимая его как «развратителя молодежи» за то, что он преподавал свои идеи молодому поколению математиков. Хуже того, Кронекер, авторитетная фигура в математическом сообществе и бывший профессор Кантора, в корне не согласился с направленностью работы Кантора с тех пор, как он намеренно отложил публикацию первой крупной публикации Кантора в 1874 году. Кронекер, которого теперь считают одним из основателей конструктивной точки зрения в математике , не любил большую часть теории множеств Кантора, потому что она утверждала существование множеств, удовлетворяющих определенным свойствам, не приводя конкретных примеров множеств, члены которых действительно удовлетворяли этим свойствам. Всякий раз, когда Кантор подавал заявку на должность в Берлине, ему отказывали, и в этом процессе обычно участвовал Кронекер. поэтому Кантор пришел к выводу, что позиция Кронекера сделает невозможным для него когда-либо покинуть Галле.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Первые десять статей Кантора были посвящены теории чисел , теме его диссертации. По предложению Эдуарда Гейне , профессора Галле, Кантор обратился к анализу . Гейне предложил Кантору решить открытую проблему , ускользнувшую от Питера Густава Лежена Дирихле , Рудольфа Липшица , Бернхарда Римана и самого Гейне: единственность представления функции тригонометрическими рядами . Кантор решил эту проблему в 1869 году. Именно во время работы над этой проблемой он обнаружил трансфинитные ординалы, которые встречаются как индексы n в n-м производном множестве S _n множества S нулей тригонометрического ряда. Учитывая тригонометрический ряд f(x) с S в качестве набора нулей, Кантор обнаружил процедуру, которая создавала другой тригонометрический ряд, в котором S 1 был нулей _, где S ₁ — это набор предельных точек S набором . Если S _k+1 — множество предельных точек SK _SK , то он мог бы построить тригонометрический ряд, нули которого равны + ₁ . множества Sk _{Поскольку} были замкнутыми, они содержали свои предельные точки и пересечение бесконечной убывающей последовательности множеств S , S ₁ , S ₂ , S ₃ ,... образовали предельное множество, которое мы теперь назвали бы S _ω , а затем он заметил, что S _ω также должно иметь набор предельных точек S _ω+1 , и скоро. У него были примеры, которые можно было продолжать бесконечно, и вот возникла естественная бесконечная последовательность бесконечных чисел ω , ω + 1, ω + 2,...

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

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

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

Начало теории множеств как раздела математики часто отмечается публикацией статьи Кантора 1874 года : «О свойстве совокупности всех действительных алгебраических чисел». Эта статья была первой, в которой было дано строгое доказательство существования более чем одного вида бесконечности. Раньше все бесконечные коллекции неявно считались равночисленными ( то есть «одинакового размера» или имеющих одинаковое количество элементов). Кантор доказал, что набор действительных чисел и набор натуральных чисел неравнозначны. Другими словами, действительные числа неисчислимы . Его доказательство отличается от диагонального аргумента , который он дал в 1891 году. Статья Кантора содержит также новый метод построения трансцендентных чисел . Трансцендентные числа были впервые построены Жозефом Лиувиллем в 1844 году.

Кантор установил эти результаты, используя две конструкции. Его первая конструкция показывает, как записывать действительные алгебраические числа. как последовательность a ₁ , a ₂ , a ₃ , .... Другими словами, действительные алгебраические числа счетны. Кантор начинает свою вторую конструкцию с любой последовательности действительных чисел. Используя эту последовательность, он строит вложенные интервалы которых , пересечение содержит действительное число, отсутствующее в последовательности. Поскольку любую последовательность действительных чисел можно использовать для построения действительного числа, не входящего в эту последовательность, действительные числа не могут быть записаны как последовательность, то есть действительные числа не являются счетными. Применяя свою конструкцию к последовательности действительных алгебраических чисел, Кантор получает трансцендентное число. Кантор указывает, что его конструкции доказывают больше, а именно, они дают новое доказательство теоремы Лиувилля: каждый интервал содержит бесконечно много трансцендентных чисел. Следующая статья Кантора содержит конструкцию, доказывающую, что множество трансцендентных чисел обладает той же «силой» (см. ниже), что и множество действительных чисел.

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

Пятая статья из этой серии, « общей Основы теории агрегатов» , опубликованная в 1883 году, была самой важной из шести и была также опубликована отдельной монографией . Он содержал ответ Кантора своим критикам и показывал, что трансфинитные числа являются систематическим расширением натуральных чисел. Он начинается с определения хорошо упорядоченных множеств. Затем вводятся порядковые числа как типы порядка хорошо упорядоченных множеств. Затем Кантор определяет сложение и умножение кардинальных и порядковых чисел. В 1885 году Кантор расширил свою теорию типов порядков так, что порядковые числа стали просто частным случаем типов порядков.

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

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

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

Переписка один на один

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

Биективная функция

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

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

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

Непрерывная гипотеза

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

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

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

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

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

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

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

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

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

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

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

Концепция существования актуальной бесконечности была важной общей проблемой в сфере математики, философии и религии. Сохранение ортодоксальности отношений между Богом и математикой, хотя и не в той форме, которую придерживались его критики, долгое время было заботой Кантора. Он прямо обратился к этому пересечению этих дисциплин во введении к своей книге «Grundlagen einer allgemeinen Mannigfaltigkeitslehre» , где подчеркнул связь между своим взглядом на бесконечное и философским. Для Кантора его математические взгляды были неразрывно связаны с их философскими и теологическими последствиями – он отождествлял абсолютную бесконечность с Богом, и он считал, что его работа по трансфинитным числам была непосредственно передана ему Богом, который избрал Кантора, чтобы открыть их миру. Он был набожным лютеранином, чьи явные христианские убеждения сформировали его философию науки. Джозеф Добен проследил влияние христианских убеждений Кантора на развитие теории трансфинитных множеств.

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

Некоторые христианские богословы рассматривали работу Кантора как вызов уникальности абсолютной бесконечности в природе Бога. В частности, мыслители -неотомисты видели в существовании реальной бесконечности, состоящей из чего-то иного, чем Бог, угрозу «исключительным притязаниям Бога на высшую бесконечность». Кантор твердо верил, что эта точка зрения является неправильным толкованием бесконечности, и был убежден, что теория множеств может помочь исправить эту ошибку: «...трансфинитные виды в такой же степени находятся в распоряжении намерений Творца и Его абсолютной безграничной воли, как и конечные числа.». Выдающийся немецкий философ-неосхоласт Константин Гутберлет был сторонником такой теории, считая, что она не противоречит природе Бога.

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

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

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

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

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

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

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

Родословная Кантора

Название на мемориальной доске (на русском языке): «В этом здании родился и жил с 1845 по 1854 год великий математик и создатель теории множеств Георг Кантор», Васильевский остров , Санкт-Петербург.

Бабушка и дедушка Кантора по отцовской линии были из Копенгагена и бежали в Россию из-за срыва наполеоновских войн . Прямых сведений о них очень мало. Отец Кантора, Георг Вальдемар Кантор, получил образование в лютеранской миссии в Санкт-Петербурге, и его переписка с сыном показывает, что они оба были набожными лютеранами. О происхождении и образовании Георга Вальдемара достоверно известно очень мало. Мать Кантора, Мария Анна Бём, была австро-венгеркой, родившейся в Санкт-Петербурге и крещенной католичкой ; она перешла в протестантизм после замужества . Однако есть письмо брата Кантора Луи их матери, в котором говорится:

Хотя мы десять раз произошли от евреев и как бы я ни был в принципе за равноправие евреев, в общественной жизни я предпочитаю христиан...

(«Даже если мы десять раз произошли от евреев, и хотя я в принципе полностью поддерживаю равные права для евреев, в общественной жизни я предпочитаю христиан...»), что можно было бы прочитать как подразумевающее, что она была еврейского происхождения.

По словам биографов Эрика Темпла Белла , Кантор имел еврейское происхождение, хотя оба родителя были крещены. В статье 1971 года, озаглавленной «К биографии Георга Кантора», британский историк математики Айвор Граттан-Гиннесс упоминает ( «Анналы науки 27», стр. 345–391, 1971), что ему не удалось найти доказательства еврейского происхождения. (Он также утверждает, что жена Кантора, Валли Гутманн, была еврейкой).

В письме, написанном Полу Таннери в 1896 году (Пол Таннери, Memoires Scientifique 13 Correspondence, Gauthier-Villars, Paris, 1934, стр. 306), Кантор утверждает, что его бабушка и дедушка по отцовской линии были членами сефардской еврейской общины Копенгагена. В частности, Кантор заявляет, описывая своего отца: «Er ist aber in Kopenhagen geboren, von israelitischen Eltern, die der dortigen portugisischen Judengemeinde...» («Он родился в Копенгагене в семье евреев (буквально: «израильтян») из местная португальско-еврейская община».) Кроме того, двоюродный дедушка Кантора по материнской линии, Венгерский скрипач Йозеф Бём был описан как еврей, это может означать, что мать Кантора, по крайней мере частично, происходила из венгерской еврейской общины.

В письме Бертрану Расселу Кантор описал свое происхождение и самовосприятие следующим образом:

Ни мой отец, ни моя мать не были немецкой крови, первая из них была датчанкой, родившейся в Копенгагене, моя мать австро-венгерского происхождения. Вы должны знать, сэр, что я не обычный Жермен , поскольку я родился 3 марта 1845 года в Сент-Питерборо, столице России, но я поехал туда со своими отцом, матерью, братьями и сестрой, которым в 1856 году было одиннадцать лет. , в Германию.

В 1930-е годы были документально подтверждены заявления, ставившие под сомнение еврейское происхождение:

Чаще [то есть, чем происхождение матери] обсуждался вопрос о том, был ли Георг Кантор еврейского происхождения. Об этом сообщается в сообщении Датского генеалогического института в Копенгагене от 1937 года относительно его отца: «Настоящим засвидетельствовано, что Георг Вольдемар Кантор, 1809 или 1814 года рождения, не присутствует в реестрах еврейской общины, и что он совершенно без сомнения не был евреем...»

Биографии

До 1970-х годов основными научными публикациями о Канторе были две короткие монографии Артура Морица Шенфлиса (1927) – в основном переписка с Миттаг-Леффлером – и Френкеля (1930). Оба были во вторых и третьих руках; ни один из них не имел особого отношения к своей личной жизни. Этот пробел был в значительной степени заполнен книгой Эрика Темпла Белла « Математики» (1937), которую один из современных биографов Кантора описывает как «возможно, самую широко читаемую современную книгу по истории математики »; и как «один из худших». Белл представляет отношения Кантора с отцом как Эдипа , разногласия Кантора с Кронекером как ссору между двумя евреями, а безумие Кантора как романтическое отчаяние из-за его неспособности добиться признания своей математики. Граттан-Гиннесс (1971) обнаружил, что ни одно из этих утверждений не соответствует действительности, но их можно найти во многих книгах того периода из-за отсутствия какого-либо другого повествования. Существуют и другие легенды, не зависящие от Белла, в том числе легенда, в которой отец Кантора назван подкидышем, отправленным в Санкт-Петербург неизвестными родителями. Критика книги Белла содержится в Джозефа Добена . биографии Добен пишет:

Кантор посвятил часть своей наиболее оскорбительной переписки, а также часть «Beiträge » нападкам на то, что он однажды назвал « бесконечно малой холерной бациллой математики», которая распространилась из Германии благодаря работам Томаэ , дю Буа Реймона. и Штольц , чтобы заразить итальянскую математику... Любое принятие бесконечно малых обязательно означало, что его собственная теория чисел была неполной. Таким образом, принять работы Томаэ, дю Буа-Реймона, Штольца и Веронезе означало отрицать совершенство собственного творения Кантора. Понятно, что Кантор развернул тщательную кампанию по дискредитации творчества Веронезе всеми возможными способами.

См. также

• Абсолютная бесконечность
• Число Алеф
• Мощность континуума
• Медаль Кантора - награда Немецкой ассоциации математиков в честь Георга Кантора.
• Кардинальное число
• Непрерывная гипотеза
• Счетное множество
• Производный набор (математика)
• Эпсилон-числа (математика)
• Факториальная система счисления
• Функция сопряжения
• Трансфинитное число
• Список вещей, названных в честь Георга Кантора

Ссылки

• Добен, Джозеф В. (1977). «Георг Кантор и Папа Лев XIII: математика, теология и бесконечное». Журнал истории идей . 38 (1): 85–108. дои : 10.2307/2708842 . JSTOR   2708842 . .
• Добен, Джозеф В. (1979). [Недоступно на archive.org] Георг Кантор: его математика и философия бесконечности . Бостон: Издательство Гарвардского университета. ISBN  978-0-691-02447-9 . .
• Даубен, Джозеф (2004) [1993]. Георг Кантор и битва за теорию трансфинитных множеств (PDF) . Материалы 9-й конференции ACMS (Вестмонт-Колледж, Санта-Барбара, Калифорния). стр. 1–22. Архивировано (PDF) из оригинала 23 января 2018 года. Интернет-версия опубликована в журнале ACMS 2004. Однако обратите внимание, что латинская цитата Кантора, описанная в этой статье как знакомый отрывок из Библии , на самом деле взята из работ Сенеки и никакого намека на божественное откровение.
• Эвальд, Уильям Б., изд. (1996). От Иммануила Канта до Давида Гильберта: Справочник по основам математики . Нью-Йорк: Издательство Оксфордского университета. ISBN  978-0-19-853271-2 . .
• Граттан-Гиннесс, Айвор (1971). «К биографии Георга Кантора». Анналы науки . 27 (4): 345–391. дои : 10.1080/00033797100203837 . .
• Граттан-Гиннесс, Айвор (2000). В поисках математических корней: 1870–1940 гг . Издательство Принстонского университета. ISBN  978-0-691-05858-0 . .
• Халлетт, Майкл (1986). Канторианская теория множеств и ограничение размера . Нью-Йорк: Издательство Оксфордского университета. ISBN  978-0-19-853283-5 . .
• Мур, Грегори Х. (1982). Аксиома выбора Цермело: ее истоки, развитие и влияние . Спрингер. ISBN  978-1-4613-9480-8 . .
• Мур, Грегори Х. (1988). «Корни парадокса Рассела» . Рассел: Журнал исследований Бертрана Рассела . 8 : 46–56. дои : 10.15173/russell.v8i1.1732 . .
• Мур, Грегори Х.; Гарсиадиего, Алехандро (1981). «Парадокс Бурали-Форти: переоценка его истоков» . История математики . 8 (3): 319–350. дои : 10.1016/0315-0860(81)90070-7 . .
• Пуркерт, Уолтер (1989). «Взгляды Кантора на основания математики ». В Роу, Дэвид Э.; Макклири, Джон (ред.). История современной математики, Том 1 . Академическая пресса. стр. 49–65 . ISBN  978-0-12-599662-4 . .
• Пуркерт, Уолтер; Ильгаудс, Ханс Иоахим (1985). Георг Кантор: 1845–1918 . Биркхойзер . ISBN  978-0-8176-1770-7 . .
• Суппес, Патрик (1972) [1960]. Аксиоматическая теория множеств . Нью-Йорк: Дувр. ISBN  978-0-486-61630-8 . . Хотя изложение является скорее аксиоматическим, чем наивным, Суппес доказывает и обсуждает многие результаты Кантора, что демонстрирует непреходящее значение Кантора для построения фундаментальной математики.
• Цермело, Эрнст (1908). «Исследования оснований теории множеств I» . Математические летописи . 65 (2): 261–281. дои : 10.1007/bf01449999 . S2CID   120085563 . .
• Цермело, Эрнст (1930). «О пределах и диапазонах множеств: новые исследования основ теории множеств» (PDF) . Фундамента Математика . 16 :29–47. дои : 10.4064/fm-16-1-29-47 . Архивировано (PDF) оригинала 28 июня 2004 г. .
• ван Хейеноорт, Жан (1967). От Фреге до Геделя: Справочник по математической логике, 1879–1931 . Издательство Гарвардского университета. ISBN  978-0-674-32449-7 . .

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

К более старым источникам о жизни Кантора следует относиться с осторожностью. См. раздел § Биографии выше.

Основная литература на английском языке

• Кантор, Георг (1955) [1915]. Филип Журден (ред.). Вклад в создание теории трансфинитных чисел . Нью-Йорк: Dover Publications. ISBN  978-0-486-60045-1 . .

Основная литература на немецком языке

• Кантор, Джордж (1874). «О свойстве воплощения всех действительных алгебраических чисел» (PDF) . Журнал чистой и прикладной математики . 1874 (77): 258–262. дои : 10.1515/crll.1874.77.258 . S2CID   199545885 . Архивировано (PDF) из оригинала 7 октября 2017 г.
• Кантор, Джордж (1878). «Вклад в теорию разнообразия» . Журнал чистой и прикладной математики . 1878 (84): 242–258. doi : 10.1515/crelle-1878-18788413 . .
• Георг Кантор (1879). «О бесконечных линейных точечных многообразиях (1)» . Математические летописи . 15 (1): 1–7. дои : 10.1007/bf01444101 . S2CID   179177510 .
• Георг Кантор (1880). «О бесконечных линейных точечных многообразиях (2)» . Математические летописи . 17 (3): 355–358. дои : 10.1007/bf01446232 . S2CID   179177438 .
• Георг Кантор (1882). «О бесконечных линейных точечных многообразиях (3)» . Математические летописи . 20 (1): 113–121. дои : 10.1007/bf01443330 . S2CID   177809016 .
• Георг Кантор (1883). «О бесконечных линейных точечных многообразиях (4)» . Математические летописи . 21 (1): 51–58. дои : 10.1007/bf01442612 . S2CID   179177480 .
• Георг Кантор (1883). «О бесконечных линейных точечных многообразиях (5)» . Математические летописи . 21 (4): 545–591. дои : 10.1007/bf01446819 . S2CID   121930608 . Опубликовано отдельно как: Основы общей теории разнообразия .
• Георг Кантор (1884). «О бесконечных линейных точечных многообразиях (6)» . Математические летописи . 23 (4): 453–488. дои : 10.1007/BF01446598 . S2CID   179178052 .
• Георг Кантор (1891). «Об элементарном вопросе теории разнообразия» (PDF) . Годовой отчет Немецкой ассоциации математиков . 1 :75-78. Архивировано (PDF) из оригинала 1 января 2018 г.
• Кантор, Джордж (1895). «Вклад в обоснование трансфинитной теории множеств (1)» . Математические летописи . 46 (4): 481–512. дои : 10.1007/bf02124929 . S2CID   177801164 . Архивировано из оригинала 23 апреля 2014 года.
• Кантор, Джордж (1897). «Вклад в обоснование трансфинитной теории множеств (2)» . Математические летописи . 49 (2): 207–246. дои : 10.1007/bf01444205 . S2CID   121665994 .
• Кантор, Джордж (1932). Эрнст Цермело (ред.). «Сборник трактатов математического и философского содержания» . Берлин: Шпрингер. Архивировано из оригинала 3 февраля 2014 года . Почти все, что написал Кантор. включены выдержки из его переписки с Дедекиндом (стр. 443–451) и биографии Кантора Френкеля (стр. 452–483). В приложении

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

• Аксель, Амир Д. (2000). Тайна Алеф: математика, каббала и поиск бесконечности . Нью-Йорк: Издательство «Четыре стены, восемь окон». . ISBN   0-7607-7778-0 . Популярная трактовка бесконечности, в которой часто упоминается Кантор.
• Добен, Джозеф В. (июнь 1983 г.). «Георг Кантор и истоки теории трансфинитных множеств». Научный американец . 248 (6): 122–131. Бибкод : 1983SciAm.248f.122D . doi : 10.1038/scientificamerican0683-122 .
• Феррейрос, Хосе (2007). Лабиринт мысли: история теории множеств и ее роль в математической мысли . Базель, Швейцария: Биркхойзер. . ISBN   3-7643-8349-6 Содержит подробное описание вклада Кантора и Дедекинда в теорию множеств.
• Халмос, Пол (1998) [1960]. Наивная теория множеств . Нью-Йорк и Берлин: Спрингер. . ISBN   3-540-90092-6
• Гильберт, Дэвид (1926). «О Бесконечном» . Математические летописи . 95 : 161-190. дои : 10.1007/BF01206605 . S2CID   121888793 .
• Хилл, Колорадо; Розадо Хэддок, GE (2000). Гуссерль или Фреге? Смысл, объективность и математика . Чикаго: Открытый суд. . ISBN   0-8126-9538-0 Три главы и 18 статей о Канторе.
• Мешковски, Герберт (1983). Георг Кантор, Жизнь, работа и влияние (Георг Кантор, Жизнь, работа и влияние, на немецком языке) . Видег, Брауншвейг.
• Ньюстед, Энн (2009). «Кантор о бесконечности в природе, числе и божественном разуме» [1] , American Catholic Philosophical Quarterly , 83 (4): 532–553, https://doi.org/10.5840/acpq200983444 . Признавая новаторскую историческую работу Добена, в этой статье далее подробно обсуждается отношение Кантора к философии Спинозы и Лейбница, а также его участие в Pantheismusstreit . Кратко упоминается об обучении Кантора у Ф.А.Тренделенбурга.
• Пенроуз, Роджер (2004). Дорога к реальности . Альфред А. Кнопф. . ISBN   0-679-77631-1 Глава 16 иллюстрирует, как канторианское мышление интригует ведущего современного физика-теоретика .
• Ракер, Руди (2005) [1982]. Бесконечность и разум . Издательство Принстонского университета. . ISBN   0-553-25531-2 Рассматривает темы, аналогичные Aczel, но более подробно.
• Родыч, Виктор (2007). «Философия математики Витгенштейна» . В Эдварде Н. Залте (ред.). Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета. .
• Леонида Лаццари, «Бесконечность Кантора» . Издательство «Питагора», Болонья, 2008 г.

Внешние ссылки

• Цитаты, связанные с Георгом Кантором , в Wikiquote
• СМИ, связанные с Георгом Кантором, на Викискладе?
• Работы Георга Кантора или о нем в Internet Archive
• О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Георг Кантор» , Архив истории математики MacTutor , Университет Сент-Эндрюс
• О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «История теории множеств» , Архив истории математики MacTutor , Университет Сент-Эндрюс. В основном посвящен достижениям Кантора.
• Георг Кантор , britannica.com
• Стэнфордская энциклопедия философии : теория множеств Томаса Джеха . Раннее развитие теории множеств Хосе Феррейроса.
• «Канторовые бесконечности», анализ статьи Кантора 1874 года, BibNum (для английской версии нажмите «à télécharger») . В этом анализе есть ошибка. В нем правильно сформулирована теорема Кантора 1: Алгебраические числа можно считать. Однако он неправильно формулирует свою теорему 2: Действительные числа не подлежат подсчету. Затем там говорится: «Кантор отмечает, что теоремы 1 и 2, взятые вместе, позволяют повторно продемонстрировать существование неалгебраических действительных чисел…» Эта демонстрация существования неконструктивна . Правильно сформулированная теорема 2 гласит: учитывая последовательность действительных чисел, можно определить действительное число, которого нет в этой последовательности. В совокупности теорема 1 и эта теорема 2 дают неалгебраическое число. Кантор также использовал теорему 2, чтобы доказать, что действительные числа нельзя сосчитать. См. первую статью Кантора по теории множеств или «Георг Кантор и трансцендентные числа» .