Entrevistas Lógicas

[Adolfo Neto]

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
==================================================================

[Walter Carnielli]

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 

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@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.

[Joao Marcos]

> 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?

Outras entrevistas para você fazer, com pesquisadores da área de
Computação ou Matemática? Segue abaixo meia dúzia de sugestões (em
ordem alfabética):
- Giselle Reis
- Hermann Haeusler
- Mário Benevides
- Mauricio Ayala
- Renata Wassermann
- Ruy de Queiroz
(Obviamente esta lista está seriamente incompleta.)

Abraços,
Joao Marcos

[Adolfo Neto]

Obrigado Walter e João pelas indicações.

Com tempo vou fazendo as entrevistas. Infelizmente o meu tempo é limitado. Se alguma outra pessoa quiser fazer, possa ajudar.

Eu não fui claro pois o que quero também é vídeos de entrevistas já realizadas e que já estão no YouTube. Acabei de colocar na playlist 

https://youtube.com/playlist?list=PLF5ttO8F-IsSWKRVmlEWA5M6a_tp-vapV

as entrevistas com João Marcos, Walter Carnielli e Rodrigo Freire ao Ad Infinitum.

Se souberem de mais entrevistas, avisem-me que coloco na playlist.

Existem várias entrevistas antigas com o professor Newton da Costa. Alguém sabe de alguma mais recente ou alguma particularmente boa?

Em breve a entrevista com Francisco Antônio Dória vai estar no ar e quero entrevistar, lá no Emílias Podcast, a professora Ítala D'Ottaviano (não achei  nenhuma entrevista com ela).

[Elaine Pimentel]

Oi, Adolfo,

Sobre a Ítala e Newton: nós da SBL estamos já no planejamento final de entrevistas. Se você achar que é bacana, a gente pode unificar as ações (pra não sobrecarregar também os entrevistados :) )

Abraços,

--

LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@dimap.ufrn.br.

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYVSG_GwSdcv3EdVeZZhvioLe_aJ18RSyBufZVXAsDwUHw%40mail.gmail.com.

--

Elaine. 

-----------------------------------

Elaine Pimentel

https://sites.google.com/site/elainepimentel/

Kindness generates kindness

"Gentileza gera gentileza" 

(José Datrino)

-----------------------------------

[Adolfo Neto]

Olá Elaine, 

Ótimo. 

Minha ideia com relação a Newton é que eu não preciso entrevistá-lo pois já tem bastante material com ele.

Se Ítala vai ser entrevistada pela SBL, também não acho necessário.

Vou focar nos outros nomes listados.

Abs.

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BWZpFFaW98wPAjmhD5A%3DZJkESj6jPaJCShwbXMeyVSXkg%40mail.gmail.com.

[Joao Marcos]

Ah, se a sua lista também pretende conter entrevistas com
pesquisadores que trabalham com Lógica *na Filosofia*, ela pode
facilmente crescer bastante...

JM

--
http://sequiturquodlibet.googlepages.com/