Aritmetica di Presburger
![Abbozzo matematica](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/45px-Crystal128-kmplot.svg.png)
Questa voce sull'argomento matematica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.
Aritmetica di Presburger è la teoria del primo ordine dei numeri naturali con l'aggiunta introdotta nel 1929 da Mojżesz Presburger, da cui prende il nome. La firma dell'aritmetica Presburger contiene solo l'operazione di addizione e l'uguaglianza, omettendo completamente l'operazione di moltiplicazione. Gli assiomi includono uno schema di induzione.
L'aritmetica di Presburger è meno potente dell'aritmetica di Peano[1], che include sia le operazioni di addizione che di moltiplicazione. Diversamente dall'aritmetica di Peano, l'aritmetica di Presburger è una teoria decidibile.
Note
- ^ aritmetica di Presburger, Enciclopedia Treccani
Voci correlate
- Mojżesz Presburger
- Aritmetica di Peano
Collegamenti esterni
- aritmetica di Presburger, Luca Tomassini - Enciclopedia della Scienza e della Tecnica (2008)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/77/Computer_n_screen.svg/24px-Computer_n_screen.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)