WITTGENSTEIN E A MEDIDA DA CIRCUNFERÊNCIA

A filosofia da matemática de Wittgenstein involve duas teses profundamente controversas: a idéia de que as proposições matemáticas não falam sobre objetos (abstratos) e a idéia de que nenhuma conjectura matemática é jamais respondida como tal, porque o advento da prova sempre determina uma mutação semântica nos significados dos termos envolvidos na conjectura. O presente artigo oferece uma reconstrução dos argumentos de Wittgenstein em apoio a essas teses em um contexto muito restrito: A descoberta de Arquimedes de um algoritmo para calcular o número Pi.