Станислав Свержковский - Stanisław Świerczkowski

Станислав Свержковский
Родившийся(1932-07-16)16 июля 1932 г.
Бежать, Польша
Умер30 сентября 2015 г.(2015-09-30) (83 года)
Австралия
НациональностьПольский
Альма-матерВроцлавский университет,
ИзвестенТеорема о трех щелях, Теорема нететратора
Дети2
НаградыОснование Альфреда Юржиковского (1996)[1]
Научная карьера
ПоляМатематика
УчрежденияУниверситет Глазго, Университет Сассекса, Вашингтонский университет, Австралийский национальный университет, Университет Султана Кабуса, Королевский университет, Колорадский университет в Боулдере
ДокторантХьюго Штайнхаус

Станислав (Шкатулка) Свержковский (16 июля 1932 г. - 30 сентября 2015 г.) Польский математик известен своими решениями двух знаковых проблем, поставленных Хьюго Штайнхаус: the теорема о трех щелях и теорема о нететраторе.

ранняя жизнь и образование

Станислав (Сташ) Свержковский родился в Бежать, Польша. Его родители развелись в младенчестве. Когда началась война, его отец был схвачен в Польше, находящейся под советским контролем, и убит в 1940 году. Катынская резня. Он принадлежал к польскому дворянству; Мать Свержковского принадлежала к высшему среднему классу и, вероятно, подверглась бы депортации и убийству со стороны нацистов. Однако у нее были немецкие связи и она смогла получить относительно привилегированный класс 2. Volksliste гражданство. В конце войны мать Свержковского была вынуждена скрываться недалеко от Торуни, пока она не была уверена, что сможет добиться освобождения от советского правительства за свой статус фолькслиста и реабилитироваться как гражданка Польши. Тем временем Свержковский жил в арендованной комнате в Торуни и учился там в школе.

Свержковский получил место в университете для учебы астрономия на Вроцлавский университет но переключился на математику, чтобы избежать утомительных астрономических вычислений. Он обнаружил врожденные способности благодаря дружбе с Ян Мыцельски и смог остаться во Вроцлаве, чтобы завершить своих хозяев под Ян Микусиньски. Он получил докторскую степень в 1960 году, его диссертация включала в себя теперь известную теорему о трех расстояниях, которую он доказал в 1956 году, отвечая на вопрос Гуго Штайнхауса.

Отмечены математические результаты

В теорема о трех щелях[2] говорит: возьмите произвольно много целых кратных иррационального числа от нуля до единицы и начертите их как точки вокруг круга с единичной длиной; тогда между последовательными точками будет не более трех разных расстояний. Это ответ на вопрос Гуго Штайнхауза. Теорема относится к области Диофантово приближение так как наименьшее из трех наблюдаемых расстояний может использоваться для рационального приближения к выбранному иррациональному числу. Он был расширен и обобщен многими способами.[3]

Теорема о нететраторе, опубликованная wierczkowski в 1958 году,[4]утверждает, что невозможно построить замкнутую цепь (тор) регулярных тетраэдры, размещены лицом к лицу. Это снова ответ на вопрос Гуго Штайнхауза. Результат привлекателен и противоречит интуиции, поскольку тетраэдр уникален среди Платоновы тела в обладании этим свойством. Недавняя работа[5] Майкла Эльгерсма и Стандартный вагон вызвало новый интерес к этому результату, показав, что можно создавать цепочки тетраэдров, которые сколь угодно близки к замыканию.

В 1964 г. в совместной работе с Ян Мыцельски, он установил один из первых результатов на аксиома детерминированности (AD), а именно, что AD означает, что все множества действительные числа находятся Измеримый по Лебегу.[6]

Последняя математическая работа Свержковского[7] был на доказательстве Теоремы Гёделя о неполноте с помощью наследственно конечные множества вместо кодирования конечных последовательностей натуральных чисел. Именно эти доказательства стали основой для производства в 2015 году механизированных доказательств двух знаменитых теорем Гёделя.[8]

Карьера

Свержковский сделал очень миграционную карьеру. Ему разрешили за границу из Польши учиться в Университет Данди где его работа с Александр Мюррей МакБит позже привлечет внимание Андре Вайль. Затем он поступил на научную стажировку в Университет Глазго прежде, чем быть вынужденным вернуться в Польшу. Когда Польская Академия Наук предоставил ему паспорт для участия в конференции в Штутгарт он использовал это как возможность навсегда покинуть Польшу в 1961 году, сначала возобновив стажировку в Глазго, а затем устроившись на работу в недавно созданном Университет Сассекса. В 1963 году он посетил Андре Вейля в Институт перспективных исследований а затем с 1964 по 1973 год занимал должности в Вашингтонский университет, то Австралийский национальный университет и Королевский университет в Канаде. В 1973 году он оставил математику, переехал в Нидерланды и построил яхту, на которой он плавал вокруг света в течение десяти лет. Период с 1986 по 1997 год снова был потрачен на преподавание математики в Университет Султана Кабуса. Его последний пост был на Колорадский университет в Боулдере (1998–2001). После этого он удалился в Тасмания.

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

  1. ^ Ежи Кшивицки (2000). "Nagrody Fundacji Jurzykowskiego w matematyce" (PDF). Roczniki Polskiego Towarzystwa Matematycznego Seria II: Wiadomo Sci Matematyczne XXXVI. 73: 115–138.
  2. ^ Теорема о трех расстояниях в теореме дня
  3. ^ Алессандри П. и Берте, В. (1998). «Три теоремы о расстоянии и комбинаторика слов». L'Enseignement Mathématique. 44: 103–132.CS1 maint: несколько имен: список авторов (связь)
  4. ^ Свержковский, С. (1958). «О свободной группе вращений евклидова пространства». Indagationes Mathematicae. 61: 376–378. Дои:10.1016 / с 1385-7258 (58) 50051-1.
  5. ^ Эльгерсма М. и Вагон С. (2017). «Асимптотически замкнутая петля тетраэдров». Математический интеллект. 39 (3): 40–45. Дои:10.1007 / s00283-016-9696-4.
  6. ^ Mycielski J. и wierczkowski, S. (1964). «Об измеримости Лебега и аксиоме детерминированности». Фонд. Математика. 54: 67–71.
  7. ^ Свержковский, С. (2003). «Конечные множества и теоремы Гёделя о неполноте». Математические диссертации. 422: 1–58. Дои:10.4064 / dm422-0-1.
  8. ^ Лоуренс К. Полсон (2015). «Механизированное доказательство теорем Гёделя о неполноте с использованием именной Изабель». Журнал автоматизированных рассуждений. 55 (1): 1–37. CiteSeerX  10.1.1.697.5227. Дои:10.1007 / s10817-015-9322-8.

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