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 tetradoro.
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 de los nazis. Sin embargo, tenía conexiones alemanas y pudo obtener la ciudadanía de clase 2 relativamente privilegiada de la Volksliste . 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 estatus de Volksliste y ser rehabilitada como ciudadana polaca. Mientras tanto, Świerczkowski vivía en una habitación alquilada en Toruń y asistía a la escuela allí.
Świerczkowski obtuvo una plaza en la Universidad de Wrocław para estudiar astronomía , pero se pasó a las matemáticas para evitar el trabajo pesado de los cálculos astronómicos. Descubrió una habilidad natural gracias a su amistad con Jan Mycielski y pudo quedarse en Wrocław para completar su maestría con Jan Mikusiński . Se graduó con un doctorado en 1960, su tesis incluía el ahora famoso teorema de los tres huecos, que demostró en 1956 en respuesta a una pregunta de Hugo Steinhaus.
El teorema de los tres intervalos [2] dice: tomemos arbitrariamente un número finito de múltiplos enteros de un número irracional entre cero y uno y los representemos como puntos alrededor de un círculo de circunferencia unitaria; entonces, como máximo, habrá 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 extendido y generalizado de muchas maneras. [3]
El teorema del no tetraedro, publicado por Świerczkowski en 1958, [4] establece que es imposible construir una cadena cerrada (toro) de tetraedros regulares , colocados cara a cara. Nuevamente esto respondió a una pregunta de Hugo Steinhaus. El resultado es atractivo y contra-intuitivo, ya que el tetraedro es único entre los sólidos platónicos en tener esta propiedad. El trabajo reciente [5] de Michael Elgersma y Stan Wagon ha despertado un nuevo interés en este resultado al mostrar que uno puede crear cadenas de tetraedros que estén arbitrariamente cerca de ser cerrados.
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 el método de Lebesgue . [6]
El último trabajo matemático de Świerczkowski [7] fue la demostración de los teoremas de incompletitud de Gödel utilizando conjuntos finitos hereditarios en lugar de la codificación de secuencias finitas de números naturales. Estas demostraciones fueron la base para la producción, en 2015, de las demostraciones mecanizadas de los dos famosos teoremas de Gödel. [8]
Świerczkowski tuvo una carrera muy migratoria. Se le permitió salir de 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ó esto como una oportunidad para abandonar Polonia para siempre en 1961, primero reanudando su beca en Glasgow antes de aceptar un trabajo en la recién creada Universidad de Sussex . En 1963 visitó a André Weil en el Instituto de Estudios Avanzados y luego, entre 1964 y 1973, ocupó puestos en la Universidad de Washington , la Universidad Nacional Australiana y la Queen's University 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 lo pasó nuevamente enseñando 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}}: CS1 maint: varios nombres: lista de autores ( enlace )
