Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics

(renaissancephilanthropy.org)

2 points | by ocfnash 8 hours ago ago