Jeremy Avigad
Jeremy Avigad é um matemático e filósofo estadunidense. É professor da Universidade Carnegie Mellon.
| Jeremy Avigad | |
|---|---|
 Jeremy Avigad | |
| Nascimento | 9 de janeiro de 1968 (56 anos) Nova Iorque |
| Nacionalidade |  Estadunidense |
| Alma mater | Universidade da Califórnia em Berkeley |
| Orientador(es)(as) | Jack Silver[1] |
| Instituições | Universidade Carnegie Mellon |
| Campo(s) | Filosofia da matemática |
| Notas | «Página pessoal» (em inglês) |
Recebeu um B.A. em matemática na Universidade Harvard em 1989 e um Ph.D. em matemática na Universidade da Califórnia em Berkeley em 1995, orientado por Jack Silver.
Trabalha principalmente nas áreas de lógica e fundamentos da matemática, verificação formal e demonstração auxiliada por computador, e filosofia e história da matemática.[2]
Referências
- Jeremy Avigad (em inglês) no Mathematics Genealogy Project
- «Página pessoal» (em inglês) na Universidade Carnegie Mellon
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.