TESE DE CHURCH: ALGUMAS QUESTOES HISTORICOS-CONCEITUAIS.

NOSSA DISSERTACAO COMECA COM UM HISTORICO DO CONCEITO DE RECURSAO ATE 1931, COMENTANDO AS CONTRIBUICOES DE DEDEKIND, SKOLEM, ACKERMANN, GODEL E HERBRAND. A SEGUIR APRESENTAMOS UM HISTORICO DA TESE DE CHURCH DE 1931 ATE 1936, INICIANDO COM ALGUNS COMENTARIOS SOBRE UM SISTEMA FORMAL DE CHURCH E CONCLUINDO COM UM DEBATE A RESPEITO DO STATUS DA TESE DE CHURCH. NOS DOIS CAPITULOS SEGUINTES ANALISAMOS ALGUMAS QUESTOES HIST ORICO-CONCEITUAIS E FORNECEMOS AS SEGUINTES CONTRIBUICOES: ADVERTENCIA DE UM ERRO DE VAN HEIJENPORT NA INTERPRETACAO DE GODEL A RESPEITO DO CONCEITO DE EXPRESSABILIDADE; ADVERTENCIA DE UMA INTERPRETACAO EQUIVOC ADA DE THOMAS A RESPEITO DO STATUS DA TESE DE CHURCH; PROVA SIMPLES E DIRETA DO TEOREMA DE INCOMPLETUDE DE GODEL USANDO A TESE DE CHURCH, A QUAL ESCLARECE A FALACIA DE KALMAR COMPARANDO-A COM O ARGUMENTO CORRET O """"MAIS PROXIMO""""; INTERPRETACAO DA ATITUDE DE CHURCH COMO """"PROPOSTA OUSADA"""". NO APENDICE APRESENTAMOS UM RESUMO HISTORICO.