Топ-100
Indietro

ⓘ Aritmetica di Presburger è la teoria del primo ordine dei numeri naturali con laggiunta introdotta nel 1929 da Mojżesz Presburger, da cui prende il nome. La fir ..




                                     

ⓘ Aritmetica di Presburger

Aritmetica di Presburger è la teoria del primo ordine dei numeri naturali con laggiunta introdotta nel 1929 da Mojżesz Presburger, da cui prende il nome. La firma dellaritmetica Presburger contiene solo loperazione di addizione e luguaglianza, omettendo completamente loperazione di moltiplicazione. Gli assiomi includono uno schema di induzione.

Laritmetica di Presburger è meno potente dellaritmetica di Peano, che include sia le operazioni di addizione che di moltiplicazione. Diversamente dallaritmetica di Peano, laritmetica di Presburger è una teoria decidibile.

                                     
  • Award, su eatcs.org. aritmetica di Presburger su Enciclopedia Treccani. EN Presburger Award, su eatcs.org. EN Presburger Award 2012, su eatcs.org
  • Aritmetica di Presburger Presburger Award Altri progetti Wikimedia Commons Wikimedia Commons contiene immagini o altri file su Mojżesz Presburger Carta
  • sulla decidibilità della teoria che oggi si chiama aritmetica di Presburger come studente nel 1929. Di seguito è riportato l elenco completo dei vincitori: :
  • Nel 1929 Mojżesz Presburger mostrò che la teoria dei numeri naturali con addizione e uguaglianza oggi chiamata aritmetica di Presburger in suo onore è
  • nella aritmetica di Robinson. Esistono sistemi assiomatici ancora più deboli che sono coerenti e completi, ad esempio l aritmetica di Presburger in cui