Mojżesz Presburger

from Wikipedia, the free encyclopedia

Mojżesz Presburger (born December 27, 1904 in Warsaw ; † 1943 ) was a Polish mathematician , logician and philosopher . He was a student of Alfred Tarski and in 1929 he invented Presburger arithmetic , a purely additive arithmetic without multiplication, for which he proved a completeness theorem .

Mojżesz Presburger probably died in a German concentration camp in 1943 .

Honors

The European Association for Theoretical Computer Science has been presenting the Presburger Award named after him to young scientists since 2010 .

literature

  • Mojżesz Presburger: About the completeness of a certain system of arithmetic of integers in which addition is the only operation . In: Comptes-rendus du I Congrés des Mathématiciens des Pays Slaves, Varsovie 1929, 92-101.
  • Jan Zygmunt: Mojżesz Presburger: Life and Work , History and Philosophy of Logic 12 (1991), 211-23

Web links

personal data
SURNAME Presburger, Mojżesz
BRIEF DESCRIPTION Polish mathematician, logician and philosopher
DATE OF BIRTH December 27, 1904
PLACE OF BIRTH Warsaw
DATE OF DEATH 1943