SEMANTICAL MUTATION, ALGORITHMS AND PROGRAMS

O presente artigo oferece uma explicação para aquela que talvez seja a tese mais estranha e menos intuitiva de Wittgenstein – a tese da mutação semântica – segundo a qual nunca se consegue responder a uma conjectura matemática porque a nova prova altera os próprios significados dos termos envolvidos na pergunta original. Ao invés de basearmos nossa justificação na distinção entre mero cálculo e demonstrações de proposições isoladas, característica do período intermediário, nós a generalizamos de forma a incluir procedimentos efetivos de cálculo também.