Mojżesz Presburger, or Prezburger,
(December 27, 1904 – 1943) was a Polish
Jewish
mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems.
Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
,
logician
Logic is the study of correct reasoning. It includes both Mathematical logic, formal and informal logic. Formal logic is the science of Validity (logic), deductively valid inferences or of logical truths. It is a formal science investigating h ...
, and
philosopher. He was a student of
Alfred Tarski
Alfred Tarski (, born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician ...
,
Jan Łukasiewicz
Jan Łukasiewicz (; 21 December 1878 – 13 February 1956) was a Polish logician and philosopher who is best known for Polish notation and Łukasiewicz logic His work centred on philosophical logic, mathematical logic and history of logic. ...
,
Kazimierz Ajdukiewicz, and
Kazimierz Kuratowski
Kazimierz Kuratowski (; 2 February 1896 – 18 June 1980) was a Polish mathematician and logician. He was one of the leading representatives of the Warsaw School of Mathematics.
Biography and studies
Kazimierz Kuratowski was born in Warsaw, ...
.
He is known for, among other things, having invented
Presburger arithmetic
Presburger arithmetic is the first-order theory of the natural numbers with addition, named in honor of Mojżesz Presburger, who introduced it in 1929. The signature of Presburger arithmetic contains only the addition operation and equality, omit ...
as a student in 1929 – a form of arithmetic in which one allows induction but removes multiplication, to obtain a
decidable theory.
He was born in Warsaw on December 27, 1904 to Abram Chaim Prezburger and Joehwet Prezburger (née Aszenmil). On May 28, 1923, he got his
matura
or its translated terms (''Mature'', ''Matur'', , , , , , ) is a Latin name for the secondary school exit exam or "maturity diploma" in various European countries, including Albania, Austria, Bosnia and Herzegovina, Bulgaria, Croatia, Cz ...
from the . On October 7, 1930, he was awarded
master in mathematics from
Warsaw University.
He died in
the Holocaust
The Holocaust, also known as the Shoah, was the genocide of European Jews during World War II. Between 1941 and 1945, Nazi Germany and its collaborators systematically murdered some six million Jews across German-occupied Europe; ...
, probably 1943.
[; Here: p.48, footnote 128]
In 2010, the
European Association for Theoretical Computer Science began conferring the annual
Presburger Award named after him to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science.
Mikołaj Bojańczyk was the first recipient.
References
External links
Mojżesz Presburger's Photograph and document of deathDocuments about Presburger
and a Flash presentation by Mikołaj Bojańczyk
Panel
of the 1929 conference where Presburger presented his arithmetic
Presburger award
European Association for Theoretical Computer Science.
1904 births
1943 deaths
20th-century Polish mathematicians
20th-century Polish philosophers
Jewish philosophers
Polish Jews who died in the Holocaust
Polish logicians
{{Poland-philosopher-stub