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 [...] con i lavori di George Boole sull’analisi algebrica della sillogistica tradizionale (1847) e la costruzione da parte di GottlobFrege di un linguaggio formale in grado di riprodurre e analizzare la struttura logica del linguaggio in uso nella pratica ...
Leggi Tutto
Con la locuzione 'insieme fuzzy' si indicano: (a) un insieme al quale alcuni elementi appartengono in modo parziale (tali insiemi possono descrivere situazioni reali nelle quali è difficile precisare un [...] trattare i predicati vaghi, che hanno sempre posto molti problemi a causa della loro elusività e che hanno spinto GottlobFrege a espungerli dall’orizzonte della logica. La proposta di Zadeh ha sollevato, in effetti, alcune questioni interessanti dal ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] da ∀x(A→A) e applicare ⇒∃2 utilizzando il termine {x∣A}.
Lo schema di comprensione, introdotto a suo tempo da GottlobFrege, ci permette di definire un insieme a partire da una proprietà ed è un principio estremamente forte. La congettura di Takeuti ...
Leggi Tutto
Fuzzy
Settimo Termini
L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema.
L'aspetto [...] trattare i predicati vaghi, che hanno sempre posto molti problemi a causa della loro elusività e che hanno spinto GottlobFrege a espungerli dall'orizzonte della logica. La proposta di Zadeh ha sollevato, in effetti, alcune questioni interessanti dal ...
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 [...] della matematica. Importanti contributi alla fondazione dell’aritmetica sono dati in Europa da Hermann Grassmann (1809-1877), Dedekind e GottlobFrege (1848-1925), e negli Stati Uniti da Charles S. Peirce (1839-1914).
Nel 1889 Peano dà alle stampe il ...
Leggi Tutto