Mojżesz Presburger - Mojżesz Presburger
Mojżesz Presburger | |
---|---|
Nascer |
Varsóvia
|
27 de dezembro de 1904
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 , 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 . 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
- Fotografia e documento de morte de Mojżesz Presburger
- Documentos sobre Presburger e uma apresentação em Flash de Mikołaj Bojańczyk
- Painel da conferência de 1929 onde Presburger apresentou sua aritmética
- Prémio Presburger , European Association for Theoretical Computer Science.