Mojżesz Presburger

Mojżesz Presburger

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.

He was born in 1904 and died in a concentration camp.[1]

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

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Mojzesz Presburger — Mojżesz Presburger (* 1904; † 1943) war ein polnischer Mathematiker, Logiker und Philosoph. Er war Student von Alfred Tarski und erfand 1929 die Presburger Arithmetik, eine rein additive Arithmetik ohne Multiplikation, für die er einen… …   Deutsch Wikipedia

  • Mojżesz Presburger — (* 1904; † 1943) war ein polnischer Mathematiker, Logiker und Philosoph. Er war Student von Alfred Tarski und erfand 1929 die Presburger Arithmetik, eine rein additive Arithmetik ohne Multiplikation, für die er einen Vollständigkeitssatz bewies.… …   Deutsch Wikipedia

  • Mojzesz Presburger — Mojżesz Presburger (1904 1943) est un mathématicien polonais, logicien et philosophe. Élève de Tarski, il est connu pour avoir démontré la décidabilité de l arithmétique de Presburger. Il n a pas soutenu de thèse, a repris la gestion de l… …   Wikipédia en Français

  • Presburger arithmetic — is the first order theory of the natural numbers with addition, named in honor of Mojżesz Presburger, who published it in 1929. It is not as powerful as Peano arithmetic because it omits multiplication.OverviewThe language of Presburger… …   Wikipedia

  • Presburger — Mojżesz Presburger (* 1904; † 1943) war ein polnischer Mathematiker, Logiker und Philosoph. Er war Student von Alfred Tarski und erfand 1929 die Presburger Arithmetik, eine rein additive Arithmetik ohne Multiplikation, für die er einen… …   Deutsch Wikipedia

  • Arithmetique de Presburger — Arithmétique de Presburger L arithmétique de Presburger est une théorie du premier ordre, dans le langage de l arithmétique de Peano sans la multiplication, c’est à dire avec seulement l addition (et éventuellement l ordre), en plus du zéro et de …   Wikipédia en Français

  • Arithmétique De Presburger — L arithmétique de Presburger est une théorie du premier ordre, dans le langage de l arithmétique de Peano sans la multiplication, c’est à dire avec seulement l addition (et éventuellement l ordre), en plus du zéro et de l opération successeur. L… …   Wikipédia en Français

  • Arithmétique de presburger — L arithmétique de Presburger est une théorie du premier ordre, dans le langage de l arithmétique de Peano sans la multiplication, c’est à dire avec seulement l addition (et éventuellement l ordre), en plus du zéro et de l opération successeur. L… …   Wikipédia en Français

  • Arithmétique de Presburger — L arithmétique de Presburger est une théorie du premier ordre, dans le langage de l arithmétique de Peano sans la multiplication, c’est à dire avec seulement l addition (et éventuellement l ordre), en plus du zéro et de l opération successeur. L… …   Wikipédia en Français

  • Liste der Biografien/Pr — Biografien: A B C D E F G H I J K L M N O P Q …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”