[en] BETWEEN PROOFS AND EXPERIMENTS: A WITTGENSTEINEAN READING OF THE PHILOSOPHICAL CONTROVERSIES SURROUNDING THE FOUR COLOR THEOREM PROOF
[pt] O advento do uso maciço de computadores em provas matemáticas, ocorrido ao final da década de setenta com a solução de um famoso problema matemático – a prova do Teorema das Quatro Cores – ocasionou disputas filosóficas que ainda hoje demandam esclarecimentos. O objetivo principal da tese consi...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | pt |
| Published: |
MAXWELL
2014
|
| Subjects: | |
| Online Access: | https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=22606@1 https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=22606@2 http://doi.org/10.17771/PUCRio.acad.22606 |