N°22314 avr. 2025
Giuseppe Peano et le formalisme
Le mathématicien italien Giuseppe Peano a apporté des contributions majeures au formalisme logique en développant un symbolisme permettant de transcrire le langage mathématique ordinaire. Il a également contribué au formalisme mathématique en construisant des systèmes d’axiomes pour divers domaines.
Lire →