IU?. I. Manin: "Das propriedades da matemática, como uma linguagem, a...

"Das propriedades da matemática, como uma linguagem, a mais peculiar é que, jogando jogos formais com um texto matemático de entrada, pode-se obter um texto de saída que aparentemente carrega novos conhecimentos. Os exemplos básicos são fornecidos por cálculos científicos ou tecnológicos: leis gerais mais as condições iniciais produzem previsões, muitas vezes somente após o tempo consumidor e trabalho assistido por computador. Pode-se dizer que a entrada contém um conhecimento implícito que é assim explicitado."

--- IU?. I. Manin

Versão em inglês

Of the properties of mathematics, as a language, the most peculiar one is that by playing formal games with an input mathematical text, one can get an output text which seemingly carries new knowledge. The basic examples are furnished by scientific or technological calculations: general laws plus initial conditions produce predictions, often only after time-consuming and computer-aided work. One can say that the input contains an implicit knowledge which is thereby made explicit.