Sergei Artemov's talk

Kreinovich, Vladik vladik at utep.edu
Fri Dec 24 17:08:25 EST 2021


Sergei Artemov - Missing Proofs and the Provability of Consistency (Gödel Conference)
https://www.youtube.com/watch?v=Nw4nERAqi2U

Happy Holiday Season to everyone!

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20211224/9c661ef4/attachment.html>


More information about the FOM mailing list