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