Станислав Сверчковский

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

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

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

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

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

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

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

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

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

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

Карьера

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

Ссылки

^ Ежи Кшивицкий (2000). «Награды Фонда Юржиковского в области математики» (PDF) . Анналы Польского математического общества. Серия II: Математическая наука XXXVI . 73 : 115–138.
^ Теорема о трех расстояниях в Теореме дня
^ Алессандри П. и Берте В. (1998). «Три дистанционные теоремы и комбинаторика слов». L'Enseignement Mathématique . 44 : 103–132. {{cite journal}}: CS1 maint: несколько имен: список авторов ( ссылка )
^ Сверчковский, С. (1958). «О свободной группе вращений евклидова пространства» . Indagationes Mathematicae . 61 : 376–378. дои : 10.1016/s1385-7258(58)50051-1 .
^ Элгерсма М. и Вагон С. (2017). «Асимптотически замкнутая петля тетраэдров». Математический интеллект . 39 (3): 40–45. дои : 10.1007/s00283-016-9696-4 . S2CID 253818257 .
^ Мысельский Дж. и Сверчковский С. (1964). «Об измеримости по Лебегу и аксиоме определенности» . Фонд. Математика. 54 : 67–71. дои : 10.4064/fm-54-1-67-71 .
^ Сверчковский, С. (2003). «Конечные множества и теоремы Гёделя о неполноте» . диссертации Математические 422 : 1–58. дои : 10.4064/dm422-0-1 .
^ Лоуренс К. Полсон (2015). «Механизированное доказательство теорем Гёделя о неполноте с использованием номинальной Изабель». Журнал автоматизированного рассуждения . 55 (1): 1–37. arXiv : 2104.13792 . CiteSeerX 10.1.1.697.5227 . дои : 10.1007/s10817-015-9322-8 . S2CID 254604706 .

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

[1] Ежи Кшивицкий (2000). «Награды Фонда Юржиковского в области математики» (PDF) . Анналы Польского математического общества. Серия II: Математическая наука XXXVI . 73 : 115–138.

[2] Теорема о трех расстояниях в Теореме дня

[3] Алессандри П. и Берте В. (1998). «Три дистанционные теоремы и комбинаторика слов». L'Enseignement Mathématique . 44 : 103–132. {{cite journal}}: CS1 maint: несколько имен: список авторов ( ссылка )

[4] Сверчковский, С. (1958). «О свободной группе вращений евклидова пространства» . Indagationes Mathematicae . 61 : 376–378. дои : 10.1016/s1385-7258(58)50051-1 .

[5] Элгерсма М. и Вагон С. (2017). «Асимптотически замкнутая петля тетраэдров». Математический интеллект . 39 (3): 40–45. дои : 10.1007/s00283-016-9696-4 . S2CID 253818257 .

[6] Мысельский Дж. и Сверчковский С. (1964). «Об измеримости по Лебегу и аксиоме определенности» . Фонд. Математика. 54 : 67–71. дои : 10.4064/fm-54-1-67-71 .

[7] Сверчковский, С. (2003). «Конечные множества и теоремы Гёделя о неполноте» . диссертации Математические 422 : 1–58. дои : 10.4064/dm422-0-1 .

[8] Лоуренс К. Полсон (2015). «Механизированное доказательство теорем Гёделя о неполноте с использованием номинальной Изабель». Журнал автоматизированного рассуждения . 55 (1): 1–37. arXiv : 2104.13792 . CiteSeerX 10.1.1.697.5227 . дои : 10.1007/s10817-015-9322-8 . S2CID 254604706 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ
Национальный	Чешская Республика Польша
академики	Проект математической генеалогии zbMATH