Talia Ringer - Proofs and Conversations

Stream: general

[Antoine Chambert-Loir]

Her paper Proofs and conversations starts as follows : “My research is on making it easier to write formal, machine-checkable proofs using special tools called proof assistants. So of course, I love these tools, and I want everyone to have a chance to use them. I am just now noticing that I have been selling my love for these tools to mathematicians the wrong way.”

more -> https://dependenttyp.es/pdf/conversations.pdf

[Bolton Bailey]

Here is a relevant part of a talk from Terry Tao

[Bolton Bailey]

(I wonder if this talk was something @Talia Ringer was referencing in particular in the last section)

[Antoine Chambert-Loir]

On mastodon, she wrote “Includes a shoutout to @tao directly mentioning events that happened here on Mathstodon :)”.

[Filippo A. E. Nuccio]

Thanks for the link, very nice paper!