Mojżesz Presburger , o Prezburger , [3] (27 de diciembre de 1904 - c. 1943) fue un matemático , lógico y filósofo judío polaco . Fue alumno de Alfred Tarski , Jan Łukasiewicz , Kazimierz Ajdukiewicz y Kazimierz Kuratowski . [3] Es conocido, entre otras cosas, por haber inventado la aritmética de Presburger cuando era estudiante en 1929, una forma de aritmética en la que se permite la inducción pero se elimina la multiplicación, para obtener una teoría decidible . [4] [5] [6] [7]
Nació en Varsovia el 27 de diciembre de 1904, hijo de Abram Chaim Prezburger y Joehwet Prezburger (de soltera Aszenmil). [8] El 28 de mayo de 1923, obtuvo su maestría en la Escuela de Comercio de la Asamblea de Comerciantes de Varsovia [pl] . [9] El 7 de octubre de 1930, recibió el título de máster en matemáticas de la Universidad de Varsovia . [3] [10] Murió en el Holocausto , probablemente en 1943. [11] [12] [13] [3]
En 2010, la Asociación Europea de Informática Teórica comenzó a otorgar el Premio Presburger anual que lleva su nombre a un joven científico (en casos excepcionales a varios científicos jóvenes) por contribuciones destacadas en informática teórica. Mikołaj Bojańczyk fue el primer galardonado.
Referencias
- ^ Zygmunt (1991), pág. 214
- ^ Zygmunt (1991), pág. 222
- ^ abcd Claus-Peter Wirth y Jörg Siekmann y Christoph Benzmüller y Serge Autexier (2009). Lecciones sobre Jacques Herbrand como lógico (Informe SEKI). DFKI. arXiv : 0902.4682 .; Aquí: p.48, nota al pie 128
- ^ M.Presburger (1930). "Über der Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchen die Addition als einzige Operation hervortritt". En F. Leja (ed.). Comptes Rendus Premier Congrès des Mathématicienes des Pays Slaves, Varsovie 1929 / Sprawozdanie z I Kongresu matematyków krajów słowiańskich, Warszawa 1929 . Varsovia, Lwów y Cracovia. págs. 92-101, 395.
{{cite book}}: Mantenimiento de CS1: falta la ubicación del editor ( enlace ) - ^ Ryan Stansifer (septiembre de 1984). Artículo de Presburger sobre aritmética de números enteros: observaciones y traducción (PDF) (Informe técnico). Vol. TR84-639. Ithaca/NY: Departamento de Ciencias de la Computación, Universidad de Cornell. Archivado desde el original (PDF) el 6 de febrero de 2015. Consultado el 10 de octubre de 2014 .
- ^ Mojżesz Presburger y Dale Jacquette (1991). "Sobre la completitud de un determinado sistema de aritmética de números enteros en el que la adición es la única operación". Historia y filosofía de la lógica . 12 (2): 225–33. doi :10.1080/014453409108837187.
- ^ Wolfram, Stephen (2002). Un nuevo tipo de ciencia . Wolfram Media, Inc., pág. 1152. ISBN 1-57955-008-8.
- ^ Acta de nacimiento en https://www.mimuw.edu.pl/~bojan/presburger
- ^ Documento de Matura en https://www.mimuw.edu.pl/~bojan/presburger
- ^ Diploma de graduación en https://www.mimuw.edu.pl/~bojan/presburger
- ^ Burdman Feferman, Anita ; Feferman, Solomon (2004). Alfred Tarski: vida y lógica . Cambridge University Press . pág. 74. ISBN 978-0-521-80240-6.
Holocausto de Presburger.
- ^ Jan Zygmunt (1991). "Mojżesz Presburger: vida y obra". Historia y filosofía de la lógica . 12 (2): 211–223. doi :10.1080/014453409108837186.
- ^ Jan Woleński (1988). Lógica y filosofía en la Escuela de Lvov-Varsovia . Dordrecht: Reidel. ISBN 978-9027727497.
Enlaces externos
- Fotografía y documento de defunción de Mojżesz Presburger
- Documentos sobre Presburger y una presentación en Flash de Mikołaj Bojańczyk
- Panel de la conferencia de 1929 donde Presburger presentó su aritmética
- Premio Presburger, Asociación Europea de Informática Teórica.
