Artemov: The Provability of Consistency
Artemov gave a talk in the IU Logic Seminar
Introduction
I have some more time these days than I had before, so I will try to do some more reading in Mathematics, following mostly my curiosity, and nudged by the abundance of online talks available now.
Comments
Post a Comment