Prezados colegas e estudantes:
gostaria de convidar a todos para o exame de qualificação doutoramento do meu orientando Anderson de Araújo Título: "Computabilidade descritiva - Uma análise da computação em modelos não-padrão da aritmética Data: 20 de outubro de 2010 Horário: 15 horas Local: Centro de Lógica, Epistemologia e História da Ciência (CLE), sala 204. Banca examinadora: Prof. Dr. Walter Carnielli (UNICAMP - Orientador) Prof. Dr. Marcelo Finger (USP) Prof. Dr. Hugo Luiz Mariano (USP) Resumo: A tese apresenta uma nova abordagem da computabilidade, denominada computabilidade descritiva. Em um estudo descritivo da computabilidade, estruturas e teorias são associadas às máquinas de Turing a fim de investigar as características do conceito de computação. Em especial, a tese desenvolve uma descrição das máquinas de Turing atráves da lógica de primeira ordem. Isso possibilita uma análise da computação em modelos não-padrão da aritmética, e, por conseguinte, uma surpreendente relação entre tais modelos e problemas de complexidade computacional. Em sua totalidade a tese sustenta que características cruciais do conceito de computação podem ser vislumbradas a partir da dualidade entre finitude e infinitude presente na distinção entre números naturais padrão e não-padrão. Atenciosamente, Walter Carnielli -- +++++++++++++++++++++++++++++++++++++++++++++++++ Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP P.O. Box 6133 13083-970 Campinas -SP, Brazil Phone: (+55) (19) 3521-6515 Fax: (+55) (19) 3289-3269 e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
