Seminário Caos é indecidível, e outras aventuras no reino da axiomatização da física.

Próximo Seminário dos Lógicos Cariocas

(http://rio-logic.org/)

Data: 22 de agosto de 2011

Horário: 14h

Local: IFCS - UFRJ (http://www.ifcs.ufrj.br/)

Título:

Caos é indecidível, e outras aventuras no reino da axiomatização

da física.

Francisco Antonio Doria

Engenharia de Produção e HCTE, Coppe/UFRJ

Resumo

O Sexto Problema de Hilbert (Axiomatização da Física). Como colocar, da mecânica clássica à física de primeira quantização, em ZF. Formalismos unificados. Aplicação: a teoria do caos, assim formalizada, é indecidível e incompleta. Universalidade do resultado. Por que não pode a teoria da computação ser completamente formalizada em ZFC, mesmo se com axiomas de grandes cardinais?