[FOM] formal proofs

[Jeremy Avigad]

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.

Jeremy



> 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>