Mojżesz Presburger

Mojżesz Presburger Biografie
Naștere 27 decembrie 1904
Varşovia
Moarte 1943
Naţionalitate Lustrui
Activități Matematician , filosof
Alte informații
Camp Matematică
semnătura Mojżesz Presburger semnătură

Mojżesz Presburger ( 1904 - 1943 ) este un matematician , logician și filosof polonez . Un student de Tarski , este cunoscut a fi demonstrat decidabilitatea de Presburger aritmetică în timp ce încă un elev .

El nu a susținut o teză și a lucrat într-o companie de asigurări și a murit într-un lagăr de concentrare în jurul anului 1943.

Preț

Asociația Europeană pentru Teoretică Computing (EATCS) instituit în 2010 Premiul Presburger care recompensează un tânăr om de știință (sub 35 de ani) , care a adus contribuții excepționale de calcul teoretic .

Referințe

  1. M. Presburger, Über der Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchen die Addition als einzige Operation hervortritt , vol.  395, Varșovia, Lwów și Cracovia, F. Leja,1930, p.  92–101
  2. Ryan Stansifer, Presburger's Article on Integer Arithmetic: Remarks and Translation , vol.  TR84-639, Ithaca / NY, Departamentul de informatică, Universitatea Cornell,Septembrie 1984( citește online )
  3. Mojżesz Presburger și Dale Jacquette, „  Despre completitudinea unui anumit sistem de aritmetică a numerelor întregi în care se produce adăugarea ca singură operație  ”, Istoria și filosofia logicii , vol.  12,1991, p.  225–33 ( DOI  10.1080 / 014453409108837187 )
  4. Solomon Feferman și Anita Burdman Feferman, Alfred Tarski, Viața și logica , Cambridge University Press ,2004( ISBN  0-521-80240-7 ). pp. 73-74
  5. Jan Zygmunt, „  Mojżesz Presburger: Life and Work  ”, History and Philosophy of Logic , vol.  12,1991, p.  211–223 ( DOI  10.1080 / 014453409108837186 )
  6. Anita Burdman Feferman și Solomon Feferman , Alfred Tarski: Viață și logică , Cambridge University Press ,2004, 425  p. ( ISBN  978-0-521-80240-6 , citit online ) , p.  74
  7. Jan Woleński, Logică și filosofie în școala Lvov-Varșovia , Dordrecht, Reidel,1988, 392  p. ( ISBN  978-90-277-2749-7 )
  8. ; Aici: p.48, nota de subsol 128

linkuri externe