#formal-proofs on Hacker News

The Future of Mathematics(terrytao.wordpress.com)

101 points by smilelamp 20 days ago | 53 comments

Guest post by Jeremy Avigad on Terence Tao's blog discussing the future of mathematics, framed by historical transformations of the subject.