01 de noviembre: Andrzej Mostowski

Andrzej Mostowski: 1 noviembre 1913 – 22 agosto 1975 [1]

El grueso de sus investigaciones puede enmarcarse en los campos de la Lógica y la Teoría de la Computabilidad.

Durante su estancia en Viena, en el año 1936, asistió a varios seminarios de Gödel en relación con el Axioma de Elección. Las ideas de Gödel tuvieron una gran influencia en sus trabajos posteriores. [2]

De hecho, le tenía en muy alta consideración: solía decir que Gödel conocía la solución a los problemas más complejos, como si tuviese una línea telefónica directa con Dios. [2]

Su fascinación por los Teoremas de Incompletitud le llevó a escribir un libro en el cual realiza una exposición detallada de los mismos, indicando sus fortalezas y simplificaciones [1] [3]

También, y en esta línea de investigación, escribió un artículo en el cual daba una demostración alternativa, basada en el teorema de Löwenheim–Skolem [4].

REFERENCIAS

[1] The MacTutor History of Mathematics archive. Biographies. Mostowski.

[2] Krajewski, S. Srebrny, M. (1979) “On the life and work of Andrzej Mostowski”.

[3] Mostowski, A. (1952). “Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel”.

[4] An undecidable arithmetical statement, Fund. Math. 36 (1949), pp. 143-164.

Anuncios

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s