Então, o que acontece é que acabamos tendo que falar sem tocar nas condições de contorno, em outras palavras, sem dar o contexto.

O discurso é efetivo, mesmo sem fazer sentido. Isso não é exatamente novo.

De que modo ele se faz eficaz? Por empréstimo (contágio), é um caminho. Mais uma vez, nada de novo.

Mas ele se faz sistematicamente eficaz? Ou é só uma quimera?

O lógos da computação não é eficaz.

Um código em execução é, na melhor hipótese, um teorema reenxertado no mundo da vida (da experiência, do contexto), cujos matemas reagem a ele.

O que é um matema? A explicação mais simples: é o que governa o governante.

Mais simples ainda: é a regra de um jogo, como ensinada por uma criança a outra. A explicação mais complicada: um símbolo é um matema.

É nesse sentido que o enxerto do teorema no mundo da vida é uma violência.

Tomar o teorema como matema (ou fazer dele o prolongamento deste) é a primeira opção.

Há quem insista em supor que o teorema continue sendo apenas isso, que ele continue sem expressão no mundo da vida, mas as “aplicações” que nos governam demonstram o contrário.