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
