Escolar Documentos
Profissional Documentos
Cultura Documentos
Aritmética de Presburguer
Aritmética de Presburguer
A Aritmética de Presburger é muito mais fraca do que a aritmética de Peano, que inclui
tanto a operação de adição quanto a de multiplicação. Ao contrário da aritmética de
Peano, a aritmética de Presburger é uma teoria decidível. Isto significa que é possível
efetivamente determinar, por qualquer sentença na linguagem da aritmética Presburger, se
essa frase é dedutível dos axiomas da aritmética de Presburger. O tempo de
funcionamento assintótico complexidade computacional deste problema de decisão é
duplamente exponencial, como mostrado por Fischer e Rabin (1974).