Mojżesz Presburger
Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters".
Mojżesz Presburger, or Prezburger,[1] (27 December 1904 – c. 1943) was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski.[1] He is known for, among other things, having invented Presburger arithmetic as a student in 1929 – a form of arithmetic in which one allows induction but removes multiplication, to obtain a decidable theory.[2][3][4][5]
He was born in Warsaw on 27 December 1904 to Abram Chaim Prezburger and Joehwet Prezburger (née Aszenmil).[6] On 28 May 1923 he got his matura from the Template:Ill.[7] On 7 October 1930 he was awarded master in mathematics from Warsaw University.[1][8] He died in the Holocaust, probably 1943.[9][10][11][1]
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
<templatestyles src="Reflist/styles.css" />
- ↑ a b c d Script error: No such module "citation/CS1".; Here: p.48, footnote 128
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Birth certificate at https://www.mimuw.edu.pl/~bojan/presburger
- ↑ Matura document at https://www.mimuw.edu.pl/~bojan/presburger
- ↑ Graduation diploma at https://www.mimuw.edu.pl/~bojan/presburger
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "citation/CS1".
Script error: No such module "Check for unknown parameters".
External links
- Mojżesz Presburger's Photograph and document of death
- Documents 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.
