Une histoire graphique complète de la logique | Tangente

Les structures de la langue

Inspirée par la logique formelle, l'étude de la langue en tant que structure s'est développée sous l'influence de Saussure puis de Chomsky. De leur côté, les statistiques permettent d'analyser des textes et sont un outil indispensable pour effectuer des traductions automatiques.

Noam Chomsky : linguistique et grammaire universelle | Tangente

Giuseppe Peano et le formalisme | Tangente

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.

Leibniz a-t-il vraiment inventé l'ancêtre de l'ordinateur ?

L'article démystifie l'image de Leibniz comme précurseur de l'ordinateur, en analysant la réalité historique de son projet de langue universelle.