Mojżesz Presburger - Mojżesz Presburger

Mojżesz Presburger
Mojżesz Presburger.jpg
Mojżesz Presburger, 1923
Nascer ( 1904-12-27 )27 de dezembro de 1904
Varsóvia
Morreu c. 1943
Causa da morte Holocausto
Nacionalidade polonês
Conhecido por Aritmética Presburger
Cônjuge (s) Rebeka Krejnes
Carreira científica
Tese O zupełności pewnego systemu arytmetyki liczb całkowitych (Sobre a integridade de um certo sistema de aritmética de inteiros em que a adição é a única operação)  (Diploma MA, 1930)
Assinatura
Mojżesz Presburger (assinatura) .jpg

Mojżesz Presburger , ou Prezburger , (27 de dezembro de 1904 - c. 1943) foi um matemático , lógico e filósofo judeu polonês . Ele foi aluno de Alfred Tarski , Jan Łukasiewicz , Kazimierz Ajdukiewicz e Kazimierz Kuratowski . Ele é conhecido, entre outras coisas, por ter inventado a aritmética de Presburger quando era estudante em 1929 - uma forma de aritmética na qual se permite a indução, mas remove a multiplicação.

Ele nasceu em Varsóvia em 27 de dezembro de 1904, filho de Abram Chaim Prezburger e Joehwet Prezburger (nee Aszenmil). Em 28 de maio de 1923, ele obteve sua matura na Escola de Comércio do Encontro de Mercadores de Varsóvia  [ pl ] . Em 7 de outubro de 1930, ele recebeu o título de mestre em matemática pela Universidade de Varsóvia . Ele morreu no Holocausto , provavelmente em 1943.

Em 2010, a European Association for Theoretical Computer Science começou a conferir o Prêmio Presburger anual em sua homenagem a um jovem cientista (em casos excepcionais a vários jovens cientistas) por contribuições notáveis ​​em ciência da computação teórica. Mikołaj Bojańczyk foi o primeiro a receber.

Referências

links externos