Stanisław (Stash) Świerczkowski (16 de julio de 1932 - 30 de septiembre de 2015) fue un matemático polaco famoso por sus soluciones a dos problemas icónicos planteados por Hugo Steinhaus : el teorema de las tres brechas y el teorema del no tetratoro.
Stanisław Świerczkowski | |
---|---|
Nació | Toruń , Polonia | 16 de julio de 1932
Fallecido | 30 de septiembre de 2015 | (83 años)
Nacionalidad | polaco |
alma mater | Universidad de Wroclaw , |
Conocido por | Teorema de los tres huecos , teorema de no tetratoro |
Niños | 2 |
Premios | Fundación de Alfred Jurzykowski (1996) [1] |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de Glasgow , Universidad de Sussex , Universidad de Washington , la Universidad Nacional de Australia , Sultan Qaboos University , la Universidad de Queens , Universidad de Colorado en Boulder |
Asesor de doctorado | Hugo Steinhaus |
Temprana edad y educación
Stanisław (Stash) Świerczkowski nació en Toruń , Polonia. Sus padres se divorciaron durante su infancia. Cuando estalló la guerra, su padre fue capturado en la Polonia controlada por los soviéticos y asesinado en la Masacre de Katyń en 1940 . Pertenecía a la nobleza polaca; La madre de Świerczkowski pertenecía a la clase media alta y probablemente habría sufrido deportación y asesinato por parte de los nazis. Sin embargo, tenía conexiones alemanas y pudo obtener la ciudadanía Volksliste de clase 2 relativamente privilegiada . Al final de la guerra, la madre de Świerczkowski se vio obligada a esconderse cerca de Toruń hasta que confiaba en que podría obtener la exoneración del gobierno controlado por los soviéticos por su estatus de Volksliste y rehabilitarse como ciudadana polaca. Mientras tanto, Świerczkowski vivía en una habitación alquilada en Toruń y asistía a la escuela allí.
Świerczkowski ganó una plaza en la universidad para estudiar astronomía en la Universidad de Wrocław, pero cambió a matemáticas para evitar la monotonía de los cálculos astronómicos. Descubrió una habilidad natural a través de su amistad con Jan Mycielski y pudo permanecer en Wrocław para completar su maestría con Jan Mikusiński . Se graduó con un doctorado en 1960, su disertación incluyó el ahora famoso Teorema de las tres distancias, que demostró en 1956 en respuesta a una pregunta de Hugo Steinhaus.
Resultados matemáticos notados
El teorema de los tres espacios [2] dice: tomar arbitrariamente muchos múltiplos enteros de un número irracional entre cero y uno y graficarlos como puntos alrededor de un círculo de circunferencia unitaria; entonces, como máximo, se producirán tres distancias diferentes entre puntos consecutivos. Esto respondió a una pregunta de Hugo Steinhaus. El teorema pertenece al campo de la aproximación diofántica ya que la más pequeña de las tres distancias observadas puede usarse para dar una aproximación racional al número irracional elegido. Se ha ampliado y generalizado de muchas formas. [3]
El Teorema del No Tetratorus, publicado por Świerczkowski en 1958, [4] establece que es imposible construir una cadena cerrada (toro) de tetraedros regulares , colocados cara a cara. De nuevo, esto respondió a una pregunta de Hugo Steinhaus. El resultado es atractivo y contrario a la intuición, ya que el tetraedro es único entre los sólidos platónicos por tener esta propiedad. Un trabajo reciente [5] de Michael Elgersma y Stan Wagon ha despertado un nuevo interés en este resultado al mostrar que se pueden crear cadenas de tetraedros que están arbitrariamente cerca de cerrarse.
En 1964, en un trabajo conjunto con Jan Mycielski , estableció uno de los primeros resultados sobre el axioma de determinación (AD), a saber, que AD implica que todos los conjuntos de números reales son medibles según Lebesgue . [6]
El último trabajo matemático de Świerczkowski [7] fue probar los teoremas de incompletitud de Gödel usando conjuntos finitos hereditariamente en lugar de codificar secuencias finitas de números naturales. Son estas pruebas las que fueron la base para la producción, en 2015, de demostraciones mecanizadas de los dos famosos teoremas de Gödel. [8]
Carrera profesional
Świerczkowski tuvo una carrera muy migratoria. Desde Polonia se le permitió estudiar en la Universidad de Dundee, donde su trabajo con Alexander Murray MacBeath llamaría más tarde la atención de André Weil . Luego tomó una beca de investigación en la Universidad de Glasgow antes de verse obligado a regresar a Polonia. Cuando la Academia de Ciencias de Polonia le otorgó un pasaporte para asistir a una conferencia en Stuttgart , aprovechó esto como una oportunidad para dejar Polonia definitivamente en 1961, primero reanudando su beca en Glasgow antes de tomar un trabajo en la recientemente creada Universidad de Sussex . En 1963 visitó a André Weil en el Instituto de Estudios Avanzados y posteriormente, entre 1964 y 1973, ocupó cargos en la Universidad de Washington , la Universidad Nacional de Australia y la Universidad de Queen en Canadá. En 1973 dejó las matemáticas, se mudó a los Países Bajos y construyó un yate en el que navegó alrededor del mundo durante diez años. El período de 1986 a 1997 se dedicó nuevamente a la enseñanza de matemáticas en la Universidad Sultan Qaboos . Su último puesto fue en la Universidad de Colorado en Boulder (1998-2001). A partir de entonces se retiró a Tasmania .
Referencias
- ^ Jerzy Krzywicki (2000). "Nagrody Fundacji Jurzykowskiego w matematyce" (PDF) . Roczniki Polskiego Towarzystwa Matematycznego Seria II: Wiadomo Sci Matematyczne XXXVI . 73 : 115-138.
- ^ Teorema de las tres distancias en el teorema del día
- ^ Alessandri, P. y Berthé, V. (1998). "Tres teoremas de distancia y combinatoria sobre palabras". L'Enseignement Mathématique . 44 : 103-132.CS1 maint: varios nombres: lista de autores ( enlace )
- ^ Świerczkowski, S. (1958). "Sobre un grupo libre de rotaciones del espacio euclidiano" . Indagationes Mathematicae . 61 : 376–378. doi : 10.1016 / s1385-7258 (58) 50051-1 .
- ^ Elgersma, M. y Wagon, S. (2017). "Un bucle asintóticamente cerrado de tetraedros". El inteligente matemático . 39 (3): 40–45. doi : 10.1007 / s00283-016-9696-4 .
- ^ Mycielski J. y Świerczkowski, S. (1964). "Sobre la mensurabilidad de Lebesgue y el axioma de determinabilidad". Fondo. Matemáticas . 54 : 67–71.
- ^ Świerczkowski, S. (2003). "Conjuntos finitos y teoremas de incompletitud de Gödel" . Dissertationes Mathematicae . 422 : 1-58. doi : 10.4064 / dm422-0-1 .
- ^ Lawrence C. Paulson (2015). "Una prueba mecanizada de los teoremas de incompletitud de Gödel utilizando Nominal Isabelle". Revista de razonamiento automatizado . 55 (1): 1–37. CiteSeerX 10.1.1.697.5227 . doi : 10.1007 / s10817-015-9322-8 .
enlaces externos
- Stanisław Świerczkowski en el Proyecto de genealogía matemática
- O'Connor, John J .; Robertson, Edmund F. , "Stanisław Świerczkowski" , archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews