let M=(S,I,R,L) be a Kripke Structure. We're going to study how the properties of the transition relation R (particularly its being functional and injective) influences M.

# Principle of Explosion and Reductio ad Absurdum

A little article on the Principle of Explosion and how we can prove it using the Reductio ad Absurdum.

# The dumbest Madoka Magica theory ever wrote

Disclaimer: the following text contains spoilers from the last arc of “Puella Magi Madoka Magica” (episodes 10,11,12 + Rebellion) and from the very start of 20th century’s foundational crisis of mathematics. In defense of myself against Poe’s law: everything in this text is bullshit. There are people who, even today, still argue about the “Madoka-Buddha … Continue reading The dumbest Madoka Magica theory ever wrote

# The Causality Melody

The short story of the man that discovered the Theory of Everything. Unfortunately it seems that nobody will ever notice his hard work.

# A kinda crazy Facebook-like math problem

Sometimes you can find hard math problems on Facebook.

# AniList, MyAnimeList and Fuzzy Logic

Is AniList better than MyAnimeList? A little journey in the field of multi-valued logic can help us answer this question.

# There’s something wrong with language

There's really something wrong with language, particularly with sentences we overuse. This is an attempt to show that most of the time we think that some constructions have meaning but then, if we look at them closely, we recognize they're senseless.