La citation analysée
Parmi les propriétés des mathématiques, en tant que langue, la plus particulière est qu'en jouant à des jeux formels avec un texte mathématique d'entrée, on peut obtenir un texte de sortie qui porte apparemment de nouvelles connaissances. Les exemples de base sont fournis par des calculs scientifiques ou technologiques: les lois générales ainsi que les conditions initiales produisent des prédictions, souvent uniquement après le travail long et assisté par ordinateur. On peut dire que l'entrée contient une connaissance implicite qui est ainsi explicite.
Parmi les propriétés des mathématiques, en tant que langue, la plus particulière est qu'en jouant à des jeux formels avec un texte mathématique d'entrée, on peut obtenir un texte de sortie qui porte apparemment de nouvelles connaissances. Les exemples de base sont fournis par des calculs scientifiques ou technologiques: les lois générales ainsi que les conditions initiales produisent des prédictions, souvent uniquement après le travail long et assisté par ordinateur. On peut dire que l'entrée contient une connaissance implicite qui est ainsi explicite.