In a previous blog post, we showed and implemented a formal system that was able to represent numbers and the addition operator.
In this blog post, we will show an implementation of a subset formal system of Peano’s axioms that will also be able to represent numbers and the addition operator.
Finally, we will compare both systems.
Continue reading “Writing your second program with Budge-TP (complexity and abstraction)”