20

Apr

2023
Seminars

HOW TO PROVE IT WITH LEAN

Time
16h00
Place
Praia de Botafogo, 190 - sala 537 ou Via Zoom

About Event

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.

Texto informado pelo autor.

 

* Os participantes dos seminários não poderão acessar às dependências da FGV usando bermuda, chinelos, blusa modelo top ou cropped, minissaia ou camiseta regata. O uso da máscara é facultativo, porém é obrigatória a apresentação do comprovante de vacinação (físico ou digital).

Apoiadores / Parceiros / Patrocinadores

Speakers

Daniel Velleman

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.

Location

Fundação Getulio Vargas

a) Opção presencial *

Praia de Botafogo, 190

5o andar, Auditório 537

 

b) Opção remota (via Zoom)

Link: https://fgv-br.zoom.us/j/98150756795?pwd=Q28vd3o3K291MmpKa0o1SmZXaXY1QT09

Meeting ID: 981 5075 6795

Passcode: 546819

 

Informações adicionais:

emap@fgv.br

Tel: 55 21 3799-5917

Endereço

a) Opção presencial *

Praia de Botafogo, 190

5o andar, Auditório 537

 

b) Opção remota (via Zoom)

Link: https://fgv-br.zoom.us/j/98150756795?pwd=Q28vd3o3K291MmpKa0o1SmZXaXY1QT09        

ID: 981 5075 6795

Passcode: 546819

Meeting ID: 981 5075 6795

Passcode: 546819

 

Informações adicionais:

emap@fgv.br

Tel: 55 21 3799-5917

A A A
High contrast

Esse site usa cookies

Nosso website coleta informações do seu dispositivo e da sua navegação e utiliza tecnologias como cookies para armazená-las e permitir funcionalidades como: melhorar o funcionamento técnico das páginas, mensurar a audiência do website e oferecer produtos e serviços relevantes por meio de anúncios personalizados. Para mais informações, acesse o nosso Aviso de Cookies e o nosso Aviso de Privacidade.