A collection of philosophical essays I wrote about ethics, philosophical anthropology and epistemology, among others.
A machine told you to fall in love and you fell for it
by Edward De Brouwer and Giulia Lazzara The Halting Problem (Informal) Statement Given an input, any machine either processes that input in a finite amount of time (it halts), or runs forever in an infinite loop. The halting problem asks whether it is possible to create a machine that, given any other machine and its input, can determine whether that machine will eventually halt, or not. $$♥$$ (Informal) Proof Let $M$ be the set of all possible machines, and $X$ the space of program inputs....