TEORIA DA INFORMAÇÃO COMPUTAÇÃO ANALÓGICA DIAGONALIZAÇÃO MÁQUINAS DE TURING FUNÇÕES RECURSIVAS TESE DE CHURCH QUESTÕES HISTÓRICO-CONCEITUAIS COMPLEXIDADE ENUMERÁVEL DINÂMICA CAÓTICA FILOSOFIA DA MATEMÁTICA TEORIA DE MODELOS ALGORITMOS