3 ms·
(Minor nitpick. Presburger arithmetic can represent integers and is decidable: https://en.wikipedia.org/wiki/Presburger_arithmetic https://en.wikipedia.org/wiki
by cscheid 10y ago
(Minor nitpick. Presburger arithmetic can represent integers and is decidable: https://en.wikipedia.org/wiki/Presburger_arithmetic https://en.wikipedia.org/wiki/Presburger_arithmetic You were probably looking for Peano arithmetic.)
- jsprogrammer 10y agoDoes that page say Presburger arithmetic requires infinitely many axioms ? How do you make an actual decision when you need to take into account an infinite number of axioms?