área de pesquisa "Identificação Efetiva de Estruturas" ALGUMAS CONSIDERAÇÕES SOBRE A TESE DE CHURCH-TURING Leonardo Weber Castor de Lima Matias Francisco Dias Mentes e Máquinas Raimundo Nonato Araujo Portela Filho Sobre a tese de Church-Turing Uma generalização do 1 Teor. da Incompletude de Godel