... vai estar disponível no YouTube!!!
- Mensagem original -
De: Eduardo Ochs
Para: Walter Carnielli
Cc: Clodomir Neto , Samuel Gomes da Silva
, LOGICA-L
Enviadas: Tue, 20 Dec 2022 00:15:12 -0300 (BRT)
Assunto: Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)
Vou fazer uns
Vou fazer uns comentários meio aleatórios...
1. Esse Felipe Gonçalves tem uma webpage BEM bacana. Vou me focar
nisso aqui:
https://w3.impa.br/~goncalves/teaching.html
2. Em 2022 ele deu um curso - em Bonn - sobre artigos do J.H. Conway,
em que cada aluno apresentava um seminário
Olá Clodomir,
Obrigado, vi o CV dele.
Tem umas 20 boas publicações, mas nada no tema do curso. Sem duvida é
competente, mas vai ter um trabalhão com esse curso..
Abs
Walter
Em seg., 19 de dez. de 2022 23:44, Clodomir Neto
escreveu:
> Boa noite!
>
> O professor será Felipe Gonçalves:
Boa noite!
O professor será Felipe Gonçalves: será: https://w3.impa.br/~goncalves/
At.te,
--
Clodomir Silva Lima Neto
Professor EBTT Matemática
IFCE Campus Maranguape
Em seg., 19 de dez. de 2022 23:35, Walter Carnielli
escreveu:
> Oi Samuel, oi pessoal:
>
> Sem dúvida, um programa muito
Oi Samuel, oi pessoal:
Sem dúvida, um programa muito ambicioso pars tao pouco yrmpo.
E deveriam convidar um lógico, mas acharam um "number theorist" entre eles.
Mas eu não sei quem é, vc conseguiu saber?
Abs
Walter
Em seg., 19 de dez. de 2022 20:10, 'Samuel Gomes da Silva' via LOGICA-L <
Boa noite!
Para maiores informações:
https://impa.br/ensino/programas-de-formacao/mestrado-academico/disciplinas-mestrado-academico/computacao-logica-e-teoria-dos-conjuntos/
At.te,
--
Clodomir Silva Lima Neto
Professor EBTT Matemática
IFCE Campus Maranguape
Em seg., 19 de dez. de 2022 20:10,
Caros,
Acabou de aparecer no Twitter,
Haverá no Verão do IMPA uma disciplina de Lógica (mais precisamente,
Computação, Lógica e Teoria dos Conjuntos (!!!),
com uma ementa deveras ambiciosa...),
E as surpresas continuam, quem vai ministrar nem é de Lógica, é um pesquisador
que trabalha na
