A filosofia da matemática de Wittgenstein envolve 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 conjectu-ra matemática é jamais respondida como tal, porque o advento da pro-va sempre determina uma mutação semântica nos significados dos ter-mos envolvidos na conjectura. O presente artigo oferece uma recons-truçã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.
Wittgenstein’s philosophy of mathematics involves two highly controversial theses: the idea that mathematical propositions are not about (abstract) objects and the idea that no mathematical conjecture is ever answered as such, because the advent of the proof always deter-mines a semantical shift of the meanings of the terms involved in the conjecture. The present article offers a reconstruction of Wittgenstein’s arguments supporting these theses within a very restricted setting: Archimedes’ discovery of an algorithm for calculating the number Pi.
