This post is a continuation of one of my previous posts.
Continue reading “Sophie’s World: History of Philosophy (part 4)”Sophie’s World: History of Philosophy (part 3)
This post is a continuation of one of my previous posts.
Continue reading “Sophie’s World: History of Philosophy (part 3)”Sophie’s World: History of Philosophy (part 2)
This post is a continuation of one of my previous posts.
Continue reading “Sophie’s World: History of Philosophy (part 2)”Writing your second program with Budge-TP (complexity and abstraction)
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)”Writing your first program with Budge-TP
Budge-TP (bʌdʒ, b’dzh) is a theorem prover (really, just another programming language) that allows you to express formal systems (really, just programs).
In this post, I will show you how to write a simple program in Budge-TP.
Continue reading “Writing your first program with Budge-TP”
bor0's reflective blog 