What Gödel Discovered? In 1931, a 25-year-old Kurt Gödel wrote a proof that turned mathematics upside down. His proof so elegant and funny.
How Close Are Computers to Automating Mathematical Reasoning? Paul Cohen, legendary for his daring methods in set theory, predicted that all of mathematics could be automated, including the writing of proofs.
The Mathematical World Some philosophers think mathematics exists in a mysterious other realm. They're wrong. Look around: you can see it.
The Paradox of the Proof A proof in a vacuum is no proof at all. Even an incorrect proof is better than no proof, because they may still be useful for other problems.
The Man Who Tried to Redeem the World with Logic Walter Harry Pitts, Jr. was a logician who worked in the field of computational neuroscience. He tried to redeem the world with logic.