Questo articolo non è ancora tradotto; viene mostrata la versione francese.
- Home
- Articoli
- Storia e Cultura
- Une histoire graphique complète de la logique
Sullo stesso tema
Articoli consigliati per te.

Le strutture della lingua
Ispirato dalla logica formale, lo studio della lingua come struttura si sviluppò sotto l’influenza di Saussure e poi di Chomsky. Le statistiche, dal canto loro, permettono di analizzare i testi e sono uno strumento indispensabile per effettuare traduzioni automatiche.

Giuseppe Peano e il formalismo | Tangente
Il matematico italiano Giuseppe Peano diede contributi fondamentali al formalismo logico sviluppando un simbolismo capace di trascrivere il linguaggio matematico ordinario. Contribuì inoltre al formalismo matematico costruendo sistemi di assiomi per vari ambiti.

Leibniz inventò davvero l’antenato del computer?
L’articolo demistifica l’immagine di Leibniz come precursore del computer, analizzando la realtà storica del suo progetto di lingua universale.

Un genio fuori dagli schemi
In campo scientifico, Bertrand Russell è anzitutto un logico e un filosofo. Il suo contributo non si può comprendere senza cogliere la svolta importante che stava prendendo la costruzione matematica: è l’epoca della «crisi dei fondamenti».
