Дьюла Кёниг - Gyula Kőnig

Дьюла Кёниг
Дьюла Кёниг.jpg
Родился(1849-12-16)16 декабря 1849 г.
Дьер, Королевство Венгрия
Умер8 апреля 1913 г.(1913-04-08) (63 года)
Будапешт, Австро-Венгрия
Национальностьвенгерский язык
Альма-матерГейдельбергский университет
ИзвестенПарадокс Кенига
Теорема Кенига (теория множеств)
Теорема Кенига (комплексный анализ)
Научная карьера
ПоляМатематика
ДокторантЛео Кенигсбергер

Дьюла Кёниг (16 декабря 1849 г. - 8 апреля 1913 г.) математик из Венгрии. Его математические публикации на немецком языке выходили под названием Юлиус Кениг. Его сын Денес Кёниг был теоретиком графов.

биография

Дьюла Кёниг был активен в буквальном и математическом смысле. Он изучал медицину в Вена а с 1868 г. Гейдельберг. После работы по указанию Герман фон Гельмгольц, по электростимуляции нервов он перешел на математику.

Он получил докторскую степень под руководством математика. Лео Кенигсбергер. Его тезис Zur Theorie der Modulargleichungen der elliptischen Functionen охватывает 24 страницы. В качестве постдока он завершил математические исследования в Берлин посещение уроков Леопольд Кронекер и Карл Вейерштрасс.

Затем он вернулся в Будапешт, где был назначен дозент в университете в 1871 году. Он стал профессором Педагогического колледжа в Будапеште в 1873 году, а в следующем году был назначен профессором Технического университета Будапешта. Он оставался в университете до конца своей жизни. Он трижды был деканом инженерного факультета, а также трижды ректором университета. В 1889 году он был избран членом Венгерской академии наук. Несмотря на еврейское происхождение, Кениг обратился в христианство вскоре после своего избрания.[1] В 1905 году он вышел на пенсию, но продолжал давать уроки по интересующим его темам. Его сын Ден также стал выдающимся математиком.

Работает

Кениг работал во многих математических областях. Его работы по полиномиальным идеалам, дискриминантам и теории исключения можно рассматривать как связующее звено между Леопольд Кронекер и Дэвид Гильберт а также Эмми Нётер. Позже его идеи были значительно упрощены, так что сегодня они представляют только исторический интерес.

Кёниг уже рассматривал материальные влияния на научное мышление и механизмы, стоящие за ним.

Основы теории множеств - формализация и легализация фактов, взятых из внутреннего взгляда нашего сознания, так что наше «научное мышление» само по себе является объектом научного мышления.

Но в основном его помнят за его вклад и противодействие теория множеств.

Кениг и теория множеств

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

В 1904 г. на третьем Международный конгресс математиков в Гейдельберг, Кениг выступил с докладом, чтобы опровергнуть высказывание Кантора гипотеза континуума. Объявление произвело фурор и широко освещалось в прессе. Все заседания секций были отменены, чтобы каждый мог услышать его вклад.

Кёниг применил теорему, доказанную в диссертации Гильберта студент Феликс Бернштейн; эта теорема, однако, не была столь общей, как утверждал Бернштейн. Эрнст Цермело, более поздний редактор собрания сочинений Кантора, обнаружил ошибку уже на следующий день. В 1905 г. появились короткие заметки Бернштейна, исправляющие его теорему, и Кёнига, отозвавшего свое утверждение.

Тем не менее, Кёниг продолжал свои попытки опровергнуть некоторые части теории множеств. В 1905 году он опубликовал статью, в которой утверждал, что доказывает, что не все наборы могут быть хорошо организованный.

Легко показать, что конечно определенные элементы континуума образуют подмножество континуума мощности . Причина в том, что такое определение должно быть дано полностью с помощью конечного числа букв и знаков препинания, из которых доступно только конечное число.

Это утверждение было подвергнуто сомнению Кантором в письме Гильберту в 1906 году:

Бесконечные определения (что невозможно за конечное время) - абсурд. Если утверждение Кёнига о мощности из всех конечно определимый действительные числа были правильными, это означало бы, что весь континуум действительных чисел был счетным; это, безусловно, неправильно. Следовательно, предположение Кёнига должно быть ошибочным. Я не прав или прав?[2]

Кантор ошибался. Сегодня предположение Кёнига является общепринятым. В отличие от Кантора, в настоящее время большинство математиков считает неопределимые числа не как абсурд. Это предположение приводит, согласно Кёнигу,

странно простым способом, приводящим к тому, что континуум не может быть хорошо упорядоченным. Если мы представим элементы континуума как хорошо упорядоченное множество, те элементы, которые не могут быть определены конечным образом, образуют подмножество этого упорядоченного множества, которое, безусловно, содержит элементы континуума. Следовательно, в этом порядке должен быть первый не конечно определимый элемент, следующий за всеми конечно определимыми числами. Это невозможно. Это число только что окончательно определено последним предложением. Предположение, что континуум может быть хорошо упорядоченным, привело к противоречию.

Вывод Кёнига не является строгим. Его аргумент не исключает возможности того, что континуум может быть хорошо упорядоченным; скорее, он исключает конъюнкцию «континуум может быть хорошо упорядочен определением на языке L» и «свойство быть определимым в языке L само по себе определимо в языке L». Последнее больше не считается правдой. Для объяснения сравните Парадокс ричарда.

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

О Кениге

Сначала Георг Кантор очень уважал Кёнига. В письме к Филип Журден в 1905 году он писал:

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

Позже Кантор изменил свое отношение:

Что Кронекер и его ученики, а также Гордан сказали против теории множеств, что Knig, Пуанкаре, и Борель написали против, скоро будут признаны все как мусор.

— Письмо Гильберту, 1912 г.

Тогда он покажет, что Пуанкаре и Кенига нападки на теорию множеств - ерунда.

— Письмо в Шварц, 1913

Некоторые документы и книги Кёнига

Литература и ссылки

  • Брокгауз: Die Enzyklopädie, 20-е изд. т. 12, Лейпциг 1996, стр. 148.
  • В. Бурау: Словарь научной биографии т. 7, Нью-Йорк 1973, стр. 444.
  • Х. Мешковский, В. Нильсон (ред.): Георг Кантор Брифе, Берлин, 1991.
  • В. Мюккенхайм: Die Mathematik des Unendlichen, Аахен, 2006.
  • Б. Сенаси, История математики в Венгрии до 20 века, Берлин, 1992.
  • О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Дьюла Кёниг", Архив истории математики MacTutor, Сент-Эндрюсский университет.
  • Niedersächsische Staats- und Universitätsbibliothek Göttingen, Digitalisierungszentrum,[3][4]
  • Universitätsbibliothek Heidelberg[5]
  • СМИ, связанные с Дьюла Кёниг в Wikimedia Commons

Заметки

  1. ^ Тамаш, Туран; Вилке, Карстен (2016). Современная еврейская стипендия в Венгрии. Де Грюйтер Ольденбург. п. 224. ISBN  9783110330731.
  2. ^ Оригинал в Канторе, изд. Герберт Мешковски и Винфрид Нильсон, Briefe Берлин: Springer (1991).
  3. ^ Göttinger Digitalisierungszentrum: Schnellsuche В архиве 2007-04-03 на Wayback Machine на dz-srv1.sub.uni-goettingen.de
  4. ^ Göttinger Digitalisierungszentrum / Юлиус Кениг В архиве 2016-09-13 в Wayback Machine на www.ub.uni-heidelberg.de
  5. ^ Юлиус Кениг В архиве 2016-05-05 в Wayback Machine на www.ub.uni-heidelberg.de