STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] un diverso puntofisso d′′ che risulterebbe vero ma non dimostrabile.
Questo risultato rendeva impossibile ogni dimostrazione aritmetica formale della consistenza della aritmetica, supposta consistente (secondo teoremadi incompletezza). Infatti ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] S.
L'usuale forma delteoremadi Bolzano-Weierstrass non vale, nè vale la seguente forma che, dal puntodi vista classico, è equivalente: una specie limitata di numeri reali senza un puntodi accumulazione è finita. Brouwer ha dimostrato che valgono ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Renato Caccioppoli
Luca Dell'Aglio
Figura chiave nello sviluppo del pensiero matematico in Italia durante la prima parte del Novecento, le sue ricerche spaziano nei vari rami dell’analisi matematica, [...] considerazione dei teoremidipuntofisso e di alcune estensioni di natura funzionale sviluppate nella prima metà degli anni Trenta. Da un puntodi vista storico, tale questione trova origine nel celebre teorema ottenuto da Luitzen E.J. Brouwer (1881 ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] X[〈 x; x* >−f (x)]. Questa mappa estende la trasformata di Legendre al caso di dimensione infinita e sarà il puntodi partenza per definire il sottodifferenziale.
Il teoremadi Chow. Il cinese Wei-Liang Chow dimostra una congettura classica: tutte ...
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 [...] delteoremadel buon ordinamento e risponderà alle obiezioni che gli erano state mosse nel frattempo.
L'antinomia di e continue) e dei loro puntifissi, a opera di Oswald Veblen (1880-1960) e dell'intuizionismo di Luitzen Egbertus Jan Brouwer (1881- ...
Leggi Tutto