Remembering Doug Lenat and his quest to capture the world with logic(writings.stephenwolfram.com)

148 points by andyjohnson0 3 years ago | 59 comments

Proofs from the Book(en.wikipedia.org)

56 points by a_imho 3 years ago | 4 comments

Dropping in on Gottfried Leibniz (2013)(writings.stephenwolfram.com)

12 points by aragonite 3 months ago | 3 comments

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.

Wolfram Language and Mathematica version 15(writings.stephenwolfram.com)

203 points by alok-g 4 months ago | 106 comments

The Ruliology of Lambdas(writings.stephenwolfram.com)

118 points by marvinborner 1 year ago | 39 comments