life, psychology, mathematics
As with my previous post, this post is another excerpt that will be included in my final Master’s thesis, but I decided it is interesting enough to post it on its own.
We start with a definition of diagonalization (or quotation), as discussed in The Gödelian Puzzle Book:
Definition 1: For an expression 
This definition allows us to represent self-referential expressions.
This post is an excerpt that will be included in my final Master’s thesis, but I decided it is interesting enough to post it on its own.
We will define a few of Peano’s axioms together with a procedure for substitution in equations so that we can prove some theorems using this system.
This blog post will serve as a quick tutorial to basic probability and random variables, and encoding them in Racket. It assumes basic knowledge with sets and programming.
Continue reading “Encoding probability and random variables in Racket”In my previous post I’ve said that to prove that from 
Recently I’ve been teaching my friend boolean algebra for their exams at university. Some exercises included simplifying boolean expressions. While teaching them, I noticed that we mostly relied on the transformation rules and almost mechanically simplified expressions (M of MIU, remember? :))
In this post, we will formalize this algebra and prove some properties about it.
Continue reading “Introduction and formalization of Boolean algebra”
