XINFORMAÇÕES SOBRE DIREITOS AUTORAIS
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital
Título: BETWEEN PROOFS AND EXPERIMENTS: A WITTGENSTEINEAN READING OF THE PHILOSOPHICAL CONTROVERSIES SURROUNDING THE FOUR COLOR THEOREM PROOF Autor: GISELE DALVA SECCO
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Colaborador(es):
LUIZ CARLOS PINHEIRO DIAS PEREIRA - ADVISOR
Nº do Conteudo: 22606
Catalogação: 10/03/2014 Liberação: 10/03/2014 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS TRABALHO PREMIADO
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=22606@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=22606@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.22606
Resumo:
Título: BETWEEN PROOFS AND EXPERIMENTS: A WITTGENSTEINEAN READING OF THE PHILOSOPHICAL CONTROVERSIES SURROUNDING THE FOUR COLOR THEOREM PROOF Autor: GISELE DALVA SECCO
Nº do Conteudo: 22606
Catalogação: 10/03/2014 Liberação: 10/03/2014 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS TRABALHO PREMIADO
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=22606@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=22606@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.22606
Resumo:
The massive use of computers in mathematical proofs, which started in the
end of the seventies trough the solution of one famous mathematical problem –
the Four-Color Theorem – entailed philosophical disputes still in need of
elucidation. The central aim of this thesis consists in elaborating some of these
elucidations from a point of view motivated by Ludwig Wittgenstein’s philosophy
of mathematics, mainly in what concerns the distinction between proofs and
experiments, which was continuously used and elaborated by the philosopher in
the course of the development of his thought. After the presentation of the main
ideas involved in the proof of the Four-Color Theorem from a historical
perspective, some methodological conceptual distinctions are elaborated. The
thesis then shifts to an analysis of the introduction of experiment in mathematics
argument, by Thomas Tymoczko, from the point of view of Arthur Pap’s
conception of functional a priori. An interpretation of the controversies that
followed that argument is developed trough the application of the conceptual
distinctions previously elaborated. At last, some wittgensteinian ideas about the
distinction between proofs and experiments are explored in connection with the
notion of surveyability of proofs, concerned less with its specific roles in
Wittgenstein’s philosophy of mathematics than with investigating the advantages
of its possible applications in the elucidation of some critical points in the referred
controversies.
Descrição | Arquivo |
COVER, ACKNOWLEDGEMENTS, RESUMO, ABSTRACT AND SUMMARY | |
CHAPTER 1 | |
CHAPTER 2 | |
CHAPTER 3 | |
CHAPTER 4 | |
CHAPTER 5 | |
CHAPTER 6 | |
CHAPTER 7 | |
REFERENCES |