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/) Em 12 de julho de 2011 08:33, Francisco Antonio Doria <[email protected]>escreveu: > 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? > > -- > fad > > ahhata alati, awienta Wilushati > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
