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 arithmetic — noun A set of axioms of first order logic for the natural numbers specifying the operations of zero, successor, and addition, including a first order schema of induction, without multiplication … Wiktionary
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… … Wikipedia
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
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
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
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
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
