Seminário remoto "Lógicos em Quarentena" 26/08/2021 (quinta-feira) 16:00h
18 views
Skip to first unread message
Bruno Lopes
Aug 23, 2021, 7:00:04 AM8/23/21
to logi...@dimap.ufrn.br, sb...@sbc.org.br
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações usualmente são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a agenda completa).
Data: 26 de agosto de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: José Siqueira (university of Cambridge)
Título: Formas categóricas da teoria dos conjuntos internos
Resumo: E. Nelson introduziu a teoria dos conjuntos internos (IST) para servir de sintaxe para o uso de métodos alternativos de prova, em contextos como o da análise não-standard. A intenção foi tornar o uso destas ideias mais acessíveis a quem não lida com Fundamentos, mas há vantagens além disso: utilizar uma teoria de conjuntos faz com que o assunto possa ser estudado por meio da teoria dos toposes mais efetivamente. Nesta palestra, discutiremos a possibilidade de desenvolver algo como IST para toposes além do de conjuntos, utilizando da teoria dos triposes.
A apresentação ocorrerá pelo Google Meet através do link público http://meet.google.com/zcv-fszm-ddd .
--
Data: 26 de agosto de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: José Siqueira (university of Cambridge)
Título: Formas categóricas da teoria dos conjuntos internos
Resumo: E. Nelson introduziu a teoria dos conjuntos internos (IST) para servir de sintaxe para o uso de métodos alternativos de prova, em contextos como o da análise não-standard. A intenção foi tornar o uso destas ideias mais acessíveis a quem não lida com Fundamentos, mas há vantagens além disso: utilizar uma teoria de conjuntos faz com que o assunto possa ser estudado por meio da teoria dos toposes mais efetivamente. Nesta palestra, discutiremos a possibilidade de desenvolver algo como IST para toposes além do de conjuntos, utilizando da teoria dos triposes.
A apresentação ocorrerá pelo Google Meet através do link público http://meet.google.com/zcv-fszm-ddd .
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
Reply all
Reply to author
Forward
0 new messages