Infinity
Problems with infinity*
I had the pleasure of witnessing this interaction the other day: two kids were locked in a battle of wits to see who could think of the…
Logic
Logic
Formal Truth and Logic
Introduction to Logic for non-Mathematicians
Mathematics
A Computability Proof of Gödel’s First Incompleteness Theorem
A computability proof of Gödel’s incompleteness theorem equally as strong as Gödel’s version, but much easier to deduce
Mathematics
The Envy-Free Cake-Cutting Procedure
How to Ensure Fairness as a Mechanistic Outcome. Implications for policy?
Logic
The Limits of Logic
What happens when logic goes wrong?
Mathematics
Turing Uncomputability
“As Leibniz suggested, we appear to live in the best of all possible worlds, where the computable functions make life predictable enough to be survivable ...