Mojżesz Presburger, or Prezburger,
(27 December 1904 – 1943) was a Polish
Jew
Jews (, , ), or the Jewish people, are an ethnoreligious group and nation, originating from the Israelites of ancient Israel and Judah. They also traditionally adhere to Judaism. Jewish ethnicity, religion, and community are highly inte ...
ish
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, and
philosopher
Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...
. 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 logi ...
,
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. He worked as a professor at the University of Warsaw and at the Ma ...
.
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, omi ...
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 27 December 1904 to Abram Chaim Prezburger and Joehwet Prezburger (née Aszenmil). On 28 May 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, Czech ...
from the . On 7 October 1930 he was awarded
master in mathematics from
Warsaw University.
He died in
the Holocaust
The Holocaust (), known in Hebrew language, Hebrew as the (), was the genocide of History of the Jews in Europe, European Jews during World War II. From 1941 to 1945, Nazi Germany and Collaboration with Nazi Germany and Fascist Italy ...
, 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