Formalization and infinity
Carregando...
Data
2008-06
Autores
Título da Revista
ISSN da Revista
Título de Volume
Editor
Resumo
This article discusses some of Chateaubriand’s views on the connections between the ideas of formalization and infinity, as presented in chapters 19 and 20 of Logical Forms. We basically agree with his criticisms of the standard construal of these connections, a view we named “formal proofs as ultimate provings”, but we suggest an alternative way of picturing that connection based on some ideas of the late Wittgenstein.
Descrição
Palavras-chave
Chateaubriand, Provas, Formalização, Infinitude, Finitismo estrito, Proofs, Formalization, Infinity, Strict finitism
Citação
PORTO, André. Formalization and infinity. Manuscrito, Campinas, v. 31, n. 1, p. 25-43, jan./jun. 2008.