https://youtu.be/6FcnSrrmKig
Gravação da apresentação. Alexandre Rademaker http://arademaker.github.com/ http://researcher.ibm.com/person/br-alexrad On Thu, Apr 20, 2023 at 8:17 AM Alexandre Rademaker <aradema...@gmail.com> wrote: > > https://emap.fgv.br/eventos/how-prove-it-lean > > > How To Prove It With Lean > > I will describe a project I have been working on for most of the last > year: an online book called “How To Prove It with Lean.” The purpose of > this project is to see if a computer proof assistant called Lean could be > helpful to students who are learning to write mathematical proofs. I will > describe the project and demonstrate the use of Lean to write some simple > proofs. > > Daniel Velleman: I received a B.A. from Dartmouth College in 1976 and a > Ph.D. from the University of Wisconsin–Madison in 1980. I taught at the > University of Texas for three years before joining the faculty of Amherst > College, where I taught from 1983 to 2017. I have written five books: How > To Prove It, Which Way Did The Bicycle Go? (with Stan Wagon and Joe > Konhauser), Philosophies of Mathematics (with Alexander George), Calculus: > A Rigorous First Course, and Bicycle or Unicycle? (with Stan Wagon). I was > the editor of the American Mathematical Monthly from 2007 to 2011. > > > Hoje! Online. Mais informações no link acima. > > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGkfTga0Zdx%3DtZK%3DvN7uPTWy0cQFuMQ9yXnBeukN3%2BjJ8zXYSQ%40mail.gmail.com.
