Stanisław Świerczkowski - Stanisław Świerczkowski

Stanisław Świerczkowski
narozený(1932-07-16)16. července 1932
Běžet, Polsko
Zemřel30. září 2015(2015-09-30) (ve věku 83)
Austrálie
Národnostpolština
Alma materUniversity of Wroclaw,
Známý jakoVěta o třech mezerách, Non-Tetratorova věta
Děti2
OceněníZaložení Alfreda Jurzykowského (1996)[1]
Vědecká kariéra
PoleMatematika
InstituceGlasgowská univerzita, University of Sussex, University of Washington, Australská národní univerzita, Univerzita sultána Qaboose, Queen's University, University of Colorado v Boulderu
Doktorský poradceHugo Steinhaus

Stanisław (Stash) Świerczkowski (16. července 1932 - 30. září 2015) byl a polština matematik známý svými řešeními dvou ikonických problémů, které představuje Hugo Steinhaus: věta o třech mezerách a Non-Tetratorusova věta.

raný život a vzdělávání

Stanisław (Stash) Świerczkowski se narodil v roce Běžet, Polsko. Jeho rodiče byli rozvedeni během jeho dětství. Když vypukla válka, jeho otec byl zajat v Polsku ovládaném Sovětským svazem a zavražděn v roce 1940 Katyňský masakr. Patřil k polské šlechtě; Świerczkowského matka patřila k vyšší střední třídě a byla by pravděpodobně utrpěla deportaci a vraždu nacisty. Měla však německé vztahy a dokázala získat relativně privilegovanou třídu 2 Volksliste státní občanství. Na konci války byla Świerczkowskiho matka nucena skrývat se poblíž Toruńe, dokud si nebyla jistá, že za svůj status Volksliste může získat osvobození od sovětské vlády a že bude rehabilitována jako polská občanka. Mezitím Świerczkowski žil v pronajaté místnosti v Toruni a chodil tam do školy.

Świerczkowski získal univerzitní místo ke studiu astronomie na Univerzita ve Vratislavi ale přešel na matematiku, aby se vyhnul dřině astronomických výpočtů. Přirozenou schopnost objevil díky svému přátelství s Jan Mycielski a mohl zůstat ve Vratislavi, aby dokončil své pány pod Jan Mikusiński. Promoval s doktorátem v roce 1960, jeho disertační práce zahrnovala dnes již slavnou větu o třech vzdálenostech, kterou prokázal v roce 1956 jako odpověď na otázku Huga Steinhausa.

Známé matematické výsledky

The věta o třech mezerách[2] říká: vezměte libovolně mnoho celočíselných násobků iracionálního čísla mezi nulou a jednou a vykreslete je jako body kolem kruhu obvodu jednotky; pak mezi následujícími body nastanou nanejvýš tři různé vzdálenosti. To odpovědělo na otázku Huga Steinhausa. Věta patří do pole Diophantine aproximace protože nejmenší ze tří pozorovaných vzdáleností lze použít k racionální aproximaci zvoleného iracionálního čísla. Bylo rozšířeno a zobecněno mnoha způsoby.[3]

The Non-Tetratorus Theorem, publikoval Świerczkowski v roce 1958,[4]uvádí, že je nemožné vytvořit uzavřený řetězec (torus) pravidelného čtyřstěn, umístěné tváří v tvář. To opět odpovědělo na otázku Huga Steinhausa. Výsledek je atraktivní a protiintuitivní, protože čtyřstěn je mezi Platonické pevné látky mít tuto vlastnost. Nedávná práce[5] Michael Elgersma a Stan Wagon vyvolal nový zájem o tento výsledek tím, že ukázal, že lze vytvořit řetězce čtyřstěnů, které jsou libovolně blízko uzavření.

V roce 1964, ve společné práci s Jan Mycielski, založil jeden z prvních výsledků na axiom determinovanosti (AD), totiž že AD znamená, že všechny sady reálná čísla jsou Lebesgue měřitelný.[6]

Świerczkowskiho poslední matematická práce[7] byl na dokazování Gödelovy věty o neúplnosti použitím dědičně konečné sady místo kódování konečných posloupností přirozených čísel. Právě tyto důkazy byly v roce 2015 základem pro výrobu mechanizovaných důkazů dvou slavných Gödelových vět.[8]

Kariéra

Świerczkowski měl velmi migrační kariéru. Z Polska mu bylo umožněno studovat na Dundee University kde jeho práce s Alexander Murray MacBeath by později upoutal pozornost André Weil. Poté nastoupil na vědeckou stáž v Glasgowská univerzita než bude povinen vrátit se do Polska. Když Polská akademie věd udělil mu pas k účasti na konferenci v roce 2006 Stuttgart využil to jako příležitost k dobrému odchodu z Polska v roce 1961, nejprve znovu zahájil stáž v Glasgow, než nastoupil do zaměstnání v nedávno vytvořeném University of Sussex. V roce 1963 navštívil André Weila v Institut pro pokročilá studia a poté, v letech 1964 až 1973, zastával funkce v University of Washington, Australská národní univerzita a Queen's University v Kanadě. V roce 1973 opustil matematiku, přestěhoval se do Nizozemska a postavil jachtu, na které se deset let plavil po celém světě. Období 1986 až 1997 bylo opět věnováno výuce matematiky na Univerzita sultána Qaboose. Jeho poslední místo bylo v University of Colorado v Boulderu (1998-2001). Poté odešel do důchodu Tasmánie.

Reference

  1. ^ Jerzy Krzywicki (2000). „Nagrody Fundacji Jurzykowskiego w matematyce“ (PDF). Roczniki Polskiego Towarzystwa Matematycznego Seria II: Wiadomo Sci Matematyczne XXXVI. 73: 115–138.
  2. ^ Věta o třech vzdálenostech u věty dne
  3. ^ Alessandri, P. a Berthé, V. (1998). "Tři distanční věty a kombinatorika slov". L'Enseignement Mathématique. 44: 103–132.CS1 maint: více jmen: seznam autorů (odkaz)
  4. ^ Świerczkowski, S. (1958). „Na volné skupině rotací euklidovského prostoru“. Indagationes Mathematicae. 61: 376–378. doi:10.1016 / s1385-7258 (58) 50051-1.
  5. ^ Elgersma, M. & Wagon, S. (2017). "Asymptoticky uzavřená smyčka čtyřstěnů". Matematický zpravodaj. 39 (3): 40–45. doi:10.1007 / s00283-016-9696-4.
  6. ^ Mycielski J. a Świerczkowski, S. (1964). „O měřitelnosti Lebesgue a axiomu rozhodnosti“. Fond. Matematika. 54: 67–71.
  7. ^ Świerczkowski, S. (2003). „Konečné množiny a Gödelovy věty o neúplnosti“. Dissertationes Mathematicae. 422: 1–58. doi:10,4064 / dm422-0-1.
  8. ^ Lawrence C. Paulson (2015). „Mechanizovaný důkaz Gödelových vět o neúplnosti pomocí nominální Isabelle“. Journal of Automated Reasoning. 55 (1): 1–37. CiteSeerX  10.1.1.697.5227. doi:10.1007 / s10817-015-9322-8.

externí odkazy