logique arithmétique

On pourrait comparer les mathématiques ainsi formalisées à un jeu d'échecs dans lequel les symboles correspondent aux pièces ; les formules aux positions définies des hommes sur l'échiquier ; les axiomes aux positions initiales des pièces ; les directions pour tirer des conclusions, aux règles du mouvement ; une preuve, à une série de coups qui aboutissent à une configuration définie par les hommes depuis la position initiale.

Auteur: Waismann Friedrich

Info: Introduction à la pensée mathématique : La formation des concepts en Mathématiques modernes. Chapitre 6 (p. 76 à 77). Frederick Ungar Publishing Company. New York, New York, États-Unis. 1951

[ analogie ] [ réflexion ]