baruchel
- Karma
- 1,545
- Created
- 12 years ago
About
Teacher in Computer Science at University of Pau and the Adour Region (France)Recent Submissions
- 1. ▲ Letter to a worried student (David Madore) (madore.org)
- 2. ▲ Ordinal definability–how did Gödel do it? (infinitelymore.xyz)
- 3. ▲ Why I didn’t sign the Fields medallists’ letter (terrytao.wordpress.com)
- 4. ▲ How I came to write that paper with Leslie Lamport (lawrencecpaulson.github.io)
- 5. ▲ The computer that helped win World War II (spectrum.ieee.org)
- 6. ▲ Create Your Own Variants • PyChess (pychess.org)
- 7. ▲ The million-dollar math problem hardly anyone is trying to solve (scientificamerican.com)
- 8. ▲ What Do Gödel's Incompleteness Theorems Mean? (quantamagazine.org)
- 9. ▲ The mathematician who doesn't exist (newscientist.com)
- 10. ▲ From Probable to Provable: What Automated Reasoning Means for the Board (mariothomas.com)