PROOF AND PRACTICE: RESPONSE TO NORMA GOETHE

Autores

  • Oswaldo Chateaubriand Department of Philosophy Pontifical Catholic University of Rio de Janeiro

Palavras-chave:

Proof. Mathematical practice. Knowledge. Justification

Resumo

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.

Downloads

Não há dados estatísticos.

Biografia do Autor

Oswaldo Chateaubriand, Department of Philosophy Pontifical Catholic University of Rio de Janeiro

Doutor em Filosofia pela Universidade da California em Berkeley (1971). Atualmente é professor titular emérito da Pontifícia Universidade Católica do Rio de Janeiro, onde leciona desde 1978. Foi professor no Departamento de Filosofia da Universidade de Washington em Seattle (1967-72), no Departamento de Filosofia da Universidade Cornell (1972-77) e no Programa de Pós-graduação de Psicologia da Fundação Getúlio Vargas (1977-91). 

Referências

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.

Downloads

Publicado

2015-12-11

Como Citar

CHATEAUBRIAND, O. PROOF AND PRACTICE: RESPONSE TO NORMA GOETHE. Manuscrito: Revista Internacional de Filosofia, Campinas, SP, v. 31, n. 1, p. 387–392, 2015. Disponível em: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642237. Acesso em: 8 dez. 2022.

Edição

Seção

Artigos

Artigos mais lidos pelo mesmo(s) autor(es)

1 2 3 4 > >>