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” →

Write a mathematical proof generator for AoC 1-1 2022

For last year’s AoC, I decided to use 20 different programming languages. For the year before that, I used Haskell. This year I decided to not participate as I’m already busy with other stuff, but I thought I could try something different.

So the first task of AoC day 1 is essentially giving you a list of lists, and you need to sum each element and find the max. Here’s a one-liner in Python:

max([ sum(x) for x in L ])

But I thought to myself, why write code in a “normal” programming language to solve an easy problem? Why not complicate things a little bit and write a code that generates mathematical proof in Budge-TP? In this post, we will write a Python script that will solve AoC 1-1 by generating Budge-TP code.

Continue reading “Write a mathematical proof generator for AoC 1-1 2022” →

GEB: An EGB overview (Part II)

This post is a follow-up to the first part.

However, before proceeding with the usual format as in the previous post, I will make a small comment.

I was very amazed by the first part of the book, so before starting the second part I viewed the book’s references. One book caught my attention: “What is the Name of this Book?”. So I ordered it and I read it. I found the book’s author’s style to be very similar to GEB’s style: puns, self-references, discussions about meaning, and paradoxes. So if you follow GEB’s references, you can almost see how GEB’s author’s style came to be.

Continue reading “GEB: An EGB overview (Part II)” →