If you have a background in predicate logic or computer programming you’ve probably heard the phrase “All men are mortal, Socrates is a man. Therefore Socrates is mortal”. We’ll come back to this phrase because I take offense with every single claim it makes. It 1936 it was proven by Alan Turing that there is […]