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.
Article Type: Logic
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.
All contents loaded
No more contents to load
