La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] nell'algebra di Boole completa. Anche tutte le affermazioni insiemistiche vengono ad assumere un valore in questa algebra; rivelato fonte di interessanti e importanti conseguenze nella topologia insiemistica, vale a dire la branca della topologia che ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] X e Y hanno lo stesso numero di elementi?". La risposta che dà Cantor è in termini della relazione di equivalenza insiemistica '∼', dove si definisce che X∼Y quando esiste una corrispondenza biunivoca tra gli elementi di X e quelli di Y. Cantor ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le origini dell'analisi funzionale
Angus E. Taylor
Le origini dell'analisi funzionale
L'analisi funzionale acquista una precisa identità nel [...] sviluppata nel XIX sec. nell'ambito della trattazione di tale teoria.
Spazi topologici e spazi metrici
L'introduzione della topologia insiemistica per classi di funzioni e per insiemi astratti si deve a Maurice-René Fréchet (1878-1973), che iniziò a ...
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 [...] segue ancora la tradizionale impostazione di George Boole e Schröder nell’ammettere una lettura duale, proposizionale e insiemistica, dello stesso simbolo: per es., ∩ denota anche l’intersezione tra classi, e ⊃ anche l’inclusione.
Negli Arithmetices ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] ’aritmetica; questo programma, noto con il nome di logicismo (➔ logica), fu perseguito da Frege sulla base della fondazione insiemistica dell’aritmetica, per essere poi messo in crisi da Russell, che pure ne condivideva la plausibilità. Il logicismo ...
Leggi Tutto