Hva er filosofi overview

In this blog post, I will write an overview of the book “Hva er filosofi” (What is philosophy?) by Lars Svendsen.

At a local bookstore, I bought a version that was translated into my native language. The translation isn’t the best, but I still finished the book as I found the content interesting and was able to get past the syntactical issues by ignoring them and merely focusing on the content πŸ™‚ As a matter of fact, I think the syntactical issues were actually a good thing. I mostly write blog posts like this one because it helps me with crystallizing ideas, and when I try to explain parts of the book I can’t just copy/paste, I have to work on paraphrasing using (hopefully, what is) non-broken grammar.

I have read a couple of philosophy books in the past period, and I have to say that this book is probably the most meta of them all. I had one picture in mind as to what philosophy represents (argument+idea), but reading this book extended that view: philosophy is everything and nothing.

Continue reading “Hva er filosofi overview”

Writing your third program with Budge-TP

In a previous blog post, we showed an implementation of a subset formal system of Peano’s axioms that could represent numbers and the addition operator. In a blog post before that, we showed and implemented a formal system that could represent numbers and the addition operator at a more basic level.

This blog post will show yet another way to represent numbers and arithmetic operations such as addition, subtraction, multiplication, and division. Finally, we’ll extend this system to also support complex arithmetic operations (combining the previous basic operations).

Continue reading “Writing your third program with Budge-TP”