FYI (Avigad on Varieties of Math Understanding)

[Vaughan Pratt]

Thanks to Vladik Kreinovich for that link to Jeremy Avigad's fascinating
article in this month's Bull. AMS.

My first thought was to post the following question to Quora:
https://www.quora.com/unanswered/Are-there-any-theorems-that-are-accepted-by-most-mathematicians-as-true-as-opposed-to-merely-a-conjecture-yet-for-which-no-rigorous-proof-has-been-found-as-yet

Rather than comment here I'll just say that the second part of my answer to
my own question explains how Avigad's article prompted my question.

Vaughan Pratt
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220122/aba69eba/attachment-0001.html>