A Concepção Estândar de Prova e o Problema de Kant

In Gisele Secco (ed.), De Mathematicae atque Philosophiae Elegantia. College Publications. pp. 150-168 (2021)
  Copy   BIBTEX

Abstract

The objective of this paper will be to present a critical evaluation of the so-called “standard conception of a proof”. According to this conception, a text could only be called a “demonstration of a certain mathematical proposition” if we could find a completely formalized version of that demonstration, its “corresponding formal proof”. We will compare these ideas with the treatment of the same topic within two markedly different contexts, that of contemporary Swedish intuitionism and that of modern software engineering. Finally, we will offer a quick discussion of some of Wittgenstein's proposals regarding the subject. /// O objetivo deste texto será o de apresentar uma avaliação crítica da assim chamada “concepção estândar” do que seja uma prova. Segundo essa concepção, um texto só poderia ser chamado de uma “demonstração de uma certa proposição matemática” se pudéssemos encontrar uma versão completamente formalizada daquela demonstração, sua “prova formal correspondente”. Faremos comparações com o tratamento do mesmo tópico em dois contextos muito distintos, aquele do intuicionismo sueco contemporâneo e o da moderna engenharia de software. Por fim, faremos uma rápida apresentação de algumas propostas de Wittgenstein sobre o assunto.

Author's Profile

André Porto
Universidade Federal de Goiás

Analytics

Added to PP
2023-03-12

Downloads
157 (#90,524)

6 months
64 (#83,013)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?