seminário EMAp
16 views
Skip to first unread message
Alexandre Rademaker
Apr 20, 2023, 11:17:55 AM4/20/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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.
Ab.,
--
Alexandre Rademaker
http://arademaker.github.io
Valeria de Paiva
Apr 20, 2023, 4:49:15 PM4/20/23
to Alexandre Rademaker, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
oi Alexandre,
ficou gravado? eu gostaria muito de ver!
obrigada,
Valeria
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@dimap.ufrn.br.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2ED9B02D-D7D5-489B-95EE-7BE76898BB61%40gmail.com.
Eduardo Ochs
Apr 20, 2023, 5:03:48 PM4/20/23
to Valeria de Paiva, Alexandre Rademaker, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Eu tambem!
[[]], E.
Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXts26GX2NkJi1WyUvYj%3DBQhZKrO8gmSikOpCmY%2BMwiTbg%40mail.gmail.com.
Alexandre Rademaker
Apr 25, 2023, 10:54:42 AM4/25/23
to Eduardo Ochs, Joao Marcos, Valeria de Paiva, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Gravação da apresentação.
Reply all
Reply to author
Forward
0 new messages