SEMANTICAL MUTATION, ALGORITHMS AND PROGRAMS
Resumo
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.(1) Autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Attribution que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
(2) Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
(3) Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre)