lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] recente. Possiamo collocare la sua data di nascita al massimo alla metà dell’Ottocento, con i lavori di GeorgeBoole sull’analisi algebrica della sillogistica tradizionale (1847) e la costruzione da parte di Gottlob Frege di un linguaggio formale ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] e distributiva in algebra, fornendo in tal modo una base per le ulteriori speculazioni di Boole.
La nascita dell'algebra della logica: GeorgeBooleGeorgeBoole (1815-1864) insegnò matematica al Queen's College di Cork, in Irlanda, dal 1849 al ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] formule usate nella trattazione. Tuttavia non bisogna dimenticare che Peano segue ancora la tradizionale impostazione di GeorgeBoole e Schröder nell’ammettere una lettura duale, proposizionale e insiemistica, dello stesso simbolo: per es., ∩ denota ...
Leggi Tutto