Moritz Presburger
Moritz Presburger · Ciencia y medicina
Mojżesz (Moritz) Presburger fue un matemático y lógico polaco que en 1929 demostró la decidibilidad de la teoría de primer orden de los números naturales con la suma, hoy llamada aritmética de Presburger—un resultado fundacional de la lógica matemática y la informática.
1904, Varsovia, Polonia — 1943
Polonia
Mojżesz (Moritz) Presburger fue un matemático y lógico polaco que en 1929 demostró la decidibilidad de la teoría de primer orden de los números naturales con la suma, hoy llamada aritmética de Presburger—un resultado fundacional de la lógica matemática y la informática. Su único artículo importante se convirtió en piedra angular de los procedimientos de decisión. Era judío y se cree que fue asesinado en el Holocausto hacia 1943.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jews in Mathematics
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Mojżesz (Moritz) Presburger fue un matemático y lógico polaco que en 1929 demostró la decidibilidad de la teoría de primer orden de los números naturales con la suma, hoy llamada aritmética de Presburger—un resultado fundacional de la lógica matemática y la informática.
Fuente: Jinfo.org — Jews in Mathematics
Contribuidores similares
Adolf Lindenbaum
Andrzej Mostowski
Barry Mazur
Georg Kreisel
