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 [...] ne I principii della geometria, sulla scia di quella per l’aritmetica e per la geometria. I teoremi logici sono distinti dai seguenti tredici assiomi logici:
1. . ⊃ a
2. a ⊃ aa
3. ab ⊃ a
4. ab ⊃ ba
5. abc ⊃ acb
6. a ⊃ b . ⊃ . ac ⊃ bc.
7. a . a ⊃ b ...
Leggi Tutto
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 [...] forte (e implichi la scelta); in verità è von Neumann che lo stimola nella sua riflessione e lo costringe a formulare l'assioma in un modo accettabile, oltre che generosamente ad attribuirglielo.
Von Neumann è il primo a rendersi conto nel 1925 che l ...
Leggi Tutto
L'Ottocento: matematica. La geometria non euclidea
Rossana Tazzioli
La geometria non euclidea
Alla base dei suoi Elementi Euclide aveva posto un certo numero di definizioni (o 'termini') e di assiomi [...] problema, intuito da Gauss, è il seguente: poiché non è possibile provare il V postulato a partire dagli altri assiomi e postulati euclidei, esso può dunque essere o non essere inserito ‒ come postulato ‒ all'interno del sistema ipotetico-deduttivo ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] esatta". Se la geometria non è altro che lo studio di un gruppo, allora non ha senso porsi il problema della verità degli assiomi. L'esistenza di un gruppo, dice Poincaré, non è incompatibile con quella di un altro. La scelta non è una questione di ...
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 [...] insieme che contiene 0 ed è chiuso rispetto al successore. Un po' più formalmente, usando i simboli '∈' per 'è membro di' e '⇒' per 'implica', gli assiomi di Peano sono:
I 0∈ℕ
II x∈ℕ⇒sc(x)∈ℕ
III x∈ℕ⇒sc(x)≠0
IV x∈ℕ∧y∈ℕ & sc(x)=sc(y)⇒x=y
V ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria analitica dei numeri
Günther Frei
Teoria analitica dei numeri
La teoria analitica dei numeri non è una teoria matematica ben definita, [...] nel senso che non è costruita su assiomi o definizioni, né vi sono metodi o teoremi generali e unificanti. In linea di massima essa comprende quella parte della teoria dei numeri nella quale, per definire e dimostrare certe particolari proprietà, l' ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] (1906-1978) il quale, nel 1938, dimostrò che la cosiddetta ipotesi generalizzata del continuo è compatibile con gli assiomi di Zermelo-Fraenkel della teoria degli insiemi. Gödel pensava che l'ipotesi del continuo fosse, in realtà, indipendente dal ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] α ('se α è necessario allora α è vero); il calcolo S4 (Lewis e Langford 1932), ottenibile aggiungendo a T l'assioma □α→□□α ('se α è necessario allora α è necessariamente necessario'; tale proprietà, con la precedente, comporta che ogni iterazione di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] estensione di 'b' (ossia se e solo se l'oggetto cui si riferisce 'a' è fra quelli cui si riferisce 'b'). Il famoso assioma unico dell'antologia è la presentazione formale di quest'idea: ∀ab{αεb→[∀c(cεa→cεb)∧∃c(cεa)∧∀cd(cεa∧dεa→cεd)]}.
Gli oggetti cui ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...