Functionality and Injectivity of transition relationships within Kripke Structures

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.


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