Mojżesz Presburger, or Prezburger, (December 27, 1904 – 1943) was a Polish

Jew Jews ( he, יְהוּדִים, , ) or Jewish people are an ethnoreligious group and nation originating from the Israelites Israelite origins and kingdom: "The first act in the long drama of Jewish history is the age of the Israelites""T ...

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, structure, space, models, and change. History On ...

, logician, and

philosopher A philosopher is a person who practices or investigates philosophy. The term ''philosopher'' comes from the grc, φιλόσοφος, , translit=philosophos, meaning 'lover of wisdom'. The coining of the term has been attributed to the Greek th ...

. 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 a ...

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. 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, C ...

from the . On October 7, 1930, he was awarded

master Master or masters may refer to: Ranks or titles * Ascended master, a term used in the Theosophical religious tradition to refer to spiritually enlightened beings who in past incarnations were ordinary humans *Grandmaster (chess), National Master ...

in mathematics from

Warsaw University The University of Warsaw ( pl, Uniwersytet Warszawski, la, Universitas Varsoviensis) is a public university in Warsaw, Poland. Established in 1816, it is the largest institution of higher learning in the country offering 37 different fields of ...

. 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 Europ ...

, probably 1943.; Here: p.48, footnote 128 In 2010, the

European Association for Theoretical Computer Science The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ...

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