Mojżesz Presburger

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
Mojżesz Presburger
File:Mojżesz Presburger.jpg
Mojżesz Presburger, 1923
Born (1904-12-27)December 27, 1904
Warsaw
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

  1. Zygmunt (1991), p.214
  2. Zygmunt (1991), p.222
  3. Lua error in package.lua at line 80: module 'strict' not found.
  4. Lua error in package.lua at line 80: module 'strict' not found.
  5. Lua error in package.lua at line 80: module 'strict' not found.
  6. Lua error in package.lua at line 80: module 'strict' not found.
  7. Lua error in package.lua at line 80: module 'strict' not found.
  8. Lua error in package.lua at line 80: module 'strict' not found.; Here: p.48, footnote 128

External links


<templatestyles src="Asbox/styles.css"></templatestyles>

<templatestyles src="Asbox/styles.css"></templatestyles>