Resumen
Norma Goethe addresses my criticisms of the notion of formal proof as a representation of the practice of proving, and in the process revisits large portions of my discussion of proof. I agree with many of her comments, and direct my response to two specific issues. The first concerns the essential features of proof, and the second the distinction between actual proofs and idealized proofs.
Resumo:
Norma Goethe tece seus comentários entorno de minhas críticas à noção de prova formal como representação da prática de provar e retoma diversos aspectos da discussão de prova em meu livro. Concordo com muitas de suas considerações e dirijo minha réplica a duas questões específicas. A primeira é sobre as características essenciais das provas, e a segunda sobre a distinção entre provas atuais e provas idealizadas.
Palavras chave: Prova. Prática matemática. Conhecimento. Justificação.
Citas
CHURCH, A. Introduction to Mathematical Logic. Princeton: Princeton University Press, 1956.
DYSON, F. “Birds and Frogs”. Notices of the American Mathematical Society, 56, pp. 212-223, 2009.
ENDERTON, H. A Mathematical Introduction to Logic. New York: Academic Press, 1972.
HALES, T. C. “Formal Proof”. Notices of the American Mathematical Society, 55, pp. 1370-1380, 2008.