Can a man be a mom?
... explain like I'm five the theory of logical types proposed by Russell and Whitehead Alright, let's pretend you're 5 and you love sorting your toys; The problem Russell and Whitehead saw The "uh-oh" moment: sentences that break themselves Imagine you have a box. On the box it says: "The sentence written on this box is a lie." Is that sentence true or false? - If it's true → then the box really IS lying → so the sentence is false. - If it's false → then the box is NOT lying → so the sentence is true. It flips back and forth forever. That's called a paradox, and it made mathematicians really dizzy. Their fix: "Theory of Types" = "Toy-sorting rules" Russell and Whitehead said: "We need rules for what can talk about what, just like you have rules for your toys." Type 0: The actual toys These are just things. Like your teddy bear, your blocks, your ball. In math, this is just numbers or people: `5`, `the dog`, ...