Olá Adolfo , Parabéns, estão muito boas suas entrevistas. Gostei de todas, mas realmente achei super interessante a do Leonardo Moura.
Não só porque ele dedicou vários minutos respondendo a minha pergunta ( e discordamos cavalheirescamente), mas porque eu acho fantástico alguém ter a ideia de criar uma ferramenta tão universal como o LEAN, e conseguir implementar. Issso para mim é uma coisa de Iron Man! Você pediu sugestões de entrevista; gostaria de sugerir um lógico e matemático que transita belamente entre as áreas de lógica, teoria de modelos e álgebra, entre outras coisas. Uma pessoa que conhece matemática muito profundamente, e foi o mestre de muitos de nós: nosso amigo Chico Miraglia. Sugiro, e recomendo ! Abraços, Walter Em qui., 24 de mar. de 2022 12:31, Adolfo Neto <adolfo....@gmail.com> escreveu: > Oi pessoal, > > Fiz uma playlist para compartilhar com meus alunos (no momento em que > escrevo, 100% homens) do curso de Engenharia de Computação. > > Algumas entrevistas que fiz já estão lá: > Entrevistas com professores(as) e pesquisadores(as) na área de Lógica > https://youtube.com/playlist?list=PLF5ttO8F-IsSWKRVmlEWA5M6a_tp-vapV > > Que outras entrevistas em português vocês me sugerem? > > Abs. > Adolfo > > -- > ================================================================== > Adolfo Neto > Associate Professor - Federal University of Technology, Paraná > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > ================================================================== > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > 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+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUuxNQw2JmLBh8patTq3h2xQktRo8BWKnc-zzqxjEUx_w%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUuxNQw2JmLBh8patTq3h2xQktRo8BWKnc-zzqxjEUx_w%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAOrCsLe0sOc95am3nFpNR4hY_vHO86vO%3DHQOtzEmGWkh%2BKrzcA%40mail.gmail.com.
