Moritz Presburger
Moritz Presburger · Science & Medicine
Logic; Presburger arithmetic
1904, Warsaw, Poland — 1943
Poland
Moritz Presburger is recognized among Jewish contributors to Science & Medicine — Logic; Presburger arithmetic
Mojżesz (Moritz) Presburger was a Polish mathematician and logician who, in 1929, proved the decidability of the first-order theory of the natural numbers with addition, now called Presburger arithmetic—a foundational result in mathematical logic and computer science. His single major paper became a cornerstone of decision procedures. He was Jewish and is believed to have been murdered in the Holocaust around 1943.
Verify and go deeper with these external references.
Source: Jinfo.org — Jews in Mathematics
Logic; Presburger arithmetic
Source: Jinfo.org — Jews in Mathematics
Similar Contributors
James Ax
Paul Bernays
Solomon Feferman
Harvey Friedman
Laszlo Kalmar
