Mojżesz Presburger
Mojżesz Presburger | |
---|---|
File:Mojżesz Presburger.jpg
Mojżesz Presburger, 1923
|
|
Born | Warsaw |
December 27, 1904
Died | 1943? Holocaust |
Nationality | Polish |
Thesis | 0 zupełności pewnego systemu arytmetyki liczb całkowitych (About the completeness of a certain system of integer arithmetic in which addition is the only operation) (M.A. Diploma, 1930[1]) |
Known for | Presburger arithmetic |
Spouse | Rebeka Krejnes[2] |
Signature |
Mojżesz Presburger (1904–1943?) was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski and is known for, among other things, having invented Presburger arithmetic as a student in 1929.[3][4]
He was born in Warsaw on 27 December 1904 and died in the Holocaust, probably 1943.[5][6][7][8]
In 2010, the European Association for Theoretical Computer Science began conferring the annual Presburger Award (named after Mojżesz Presburger) 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
- ↑ Zygmunt (1991), p.214
- ↑ Zygmunt (1991), p.222
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.; Here: p.48, footnote 128
External links
- Mojżesz Presburger's Photograph and document of death
- Documents about Presburger and a Flash presentation by Mikołaj Bojańczyk
- Presburger award, European Association for Theoretical Computer Science.
<templatestyles src="Asbox/styles.css"></templatestyles>
<templatestyles src="Asbox/styles.css"></templatestyles>
- Pages with broken file links
- 1904 births
- 1943 deaths
- 20th-century Polish mathematicians
- 20th-century philosophers
- Jewish philosophers
- Mathematicians who died in the Holocaust
- Philosophers who died in the Holocaust
- Polish Jews
- Polish logicians
- Polish philosophers
- Polish mathematician stubs
- European philosopher stubs
- Polish academic biography stubs