[FOM] formal proofs

Jeremy Avigad avigad at cmu.edu
Mon Oct 20 21:26:08 EDT 2014

I just noticed that in my last post I mistyped the quote by Shankar: it was
"this is the golden age of *meta*mathematics." Sorry I botched the
punchline! It's a nice phrase.


> I once heard Natarjan Shankar say that this is "the golden age of
> mathematics," and I agree.  This is a really exciting time to be working
> with formal methods.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20141020/2c4ba87a/attachment-0001.html>

More information about the FOM mailing list