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 los tres huecos y el teorema del no tetratoro.
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ń de 1940 . Pertenecía a la nobleza polaca; La madre de Świerczkowski pertenecía a la clase media alta y probablemente habría sufrido la deportación y el asesinato por parte de los nazis. Sin embargo, tenía conexiones alemanas y pudo obtener una 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 estuvo segura de que podría obtener la exoneración del gobierno controlado por los soviéticos por su condición de Volksliste y ser rehabilitada como ciudadana polaca. Mientras tanto, Świerczkowski vivía en una habitación alquilada en Toruń y allí asistía a la escuela.
Świerczkowski ganó una plaza universitaria para estudiar astronomía en la Universidad de Wrocław , pero pasó a las 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 doctoró en 1960 y su tesis incluía el hoy famoso teorema de los tres huecos, que demostró en 1956 en respuesta a una pregunta de Hugo Steinhaus.
El teorema de los tres espacios [2] dice: tomar arbitrariamente un número finito de múltiplos enteros de un número irracional entre cero y uno y representarlos como puntos alrededor de un círculo de circunferencia unitaria; entonces se producirán como máximo 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 menor 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 maneras. [3]
El teorema del no tetratoro, publicado por Świerczkowski en 1958, [4] afirma que es imposible construir una cadena cerrada (toro) de tetraedros regulares , colocados uno frente al otro. 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 el único entre los sólidos platónicos que tiene 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 determinabilidad (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] consistió en demostrar los teoremas de incompletitud de Gödel utilizando conjuntos hereditariamente finitos en lugar de codificar secuencias finitas de números naturales. Son estas demostraciones las que sirvieron de base para la producción, en 2015, de demostraciones mecanizadas de los dos famosos teoremas de Gödel. [8]
Świerczkowski tuvo una carrera muy migratoria. Se le permitió viajar desde Polonia para estudiar en la Universidad de Dundee , donde su trabajo con Alexander Murray MacBeath atraería más tarde la atención de André Weil . Luego aceptó una beca de investigación en la Universidad de Glasgow antes de verse obligado a regresar a Polonia. Cuando la Academia Polaca de Ciencias le concedió un pasaporte para asistir a una conferencia en Stuttgart , aprovechó esta oportunidad para abandonar Polonia definitivamente en 1961, reanudando primero su beca en Glasgow antes de aceptar 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 Holanda y construyó un yate en el que navegó alrededor del mundo durante diez años. El período 1986 a 1997 lo dedicó nuevamente a enseñar matemáticas en la Universidad Sultán Qaboos . Su último puesto fue en la Universidad de Colorado en Boulder (1998-2001). Posteriormente se retiró a Tasmania .
{{cite journal}}: Mantenimiento CS1: varios nombres: lista de autores ( enlace )
