logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] classica – letti in questo modo – saranno teoremi anche di quella intuizionista. Il risultato estende un teoremadi Glivenko per cui ogni teorema classico negativo ←A è teorema intuizionista. I calcoli di Gentzen sono risultati preziosi per lo studio ...
Leggi Tutto
fondamenti della matematica
fondamenti della matematica locuzione con la quale si indica, in senso lato, lo studio delle basi epistemologiche della logica e della matematica; in senso stretto, l’espressione [...] più radicali, fallì. Nel 1931 K. Gödel dimostrò infatti (→ Gödel, teoremadi) l’impossibilità di dare una simile dimostrazione. L’intuizionismo, rappresentato principalmente da L.E. Brouwer, attribuiva le antinomie al fatto che i matematici parlavano ...
Leggi Tutto
Caccioppoli
Caccioppoli Renato (Napoli 1904 - 1959) matematico italiano. Figlio di un noto chirurgo napoletano e di Sofia Bakunin (figlia dell’anarchico russo Michail Bakunin), si iscrisse alla facoltà [...] ’estensione del teorema del punto fisso diBrouwer ad alcuni spazi funzionali, che Caccioppoli applicò alla dimostrazione diteoremidi esistenza per problemi ai limiti relativi ad equazioni differenziali (teoremadi punto fisso o teoremadi → Banach ...
Leggi Tutto
punto fisso
punto fisso in un’applicazione di uno spazio X in sé stesso, punto che corrisponde a sé stesso.
☐ In geometria, si definisce un punto fisso in una trasformazione geometrica ogni punto che [...] (→ caos). Sempre in analisi, il più semplice teoremadi punto fisso è il teoremadi → Banach-Caccioppoli (→ contrazione). Degno di nota è però anche il teorema del punto fisso di → Brouwer, che stabilisce che tutti i sottoinsiemi propri compatti e ...
Leggi Tutto
punto fisso, proprieta del
punto fisso, proprietà del in topologia, afferma che se X è un sottoinsieme compatto e connesso di uno spazio euclideo, ogni funzione ƒ: X → X ammette un punto fisso x ∈ X, [...] tale cioè che ƒ(x) = x. Tale proprietà è stabilita dal cosiddetto teorema del punto fisso diBrouwer. ...
Leggi Tutto
Si dice nel linguaggio comune che la linea ha una sola dimensione, cioè lunghezza; che la superficie ne ha due: lunghezza e larghezza; che il solido ne ha tre: lunghezza, larghezza e altezza. Queste locuzioni [...] limiti o di accumulazione.
Infatti E. Netto e J. Lüroth (1907), e con maggiore precisione e generalità L. E. Brouwer (1911) cap. 7°. - Sul teorema d'invarianza delle dimensioni per le varietà algebriche e sul principio di Plücker-Clebsch: F. Enriques ...
Leggi Tutto
THOM, René
Carlo Cattani
Matematico francese, nato a Montbéliard (Doubs) il 2 settembre 1923. Compiuti gli studi all'Ecole Normale Supérieure (1943-46), è stato ricercatore al Centre national des recherches [...] al Congresso internazionale dei matematici di Edimburgo (1958). T. ha ricevuto, inoltre, la medaglia Brouwer (1970) e il Grand , anche della teoria delle catastrofi (v. catastrofi, teorema delle, in questa Appendice), ha rivolto la sua opera ...
Leggi Tutto
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] constatiamo che un grande e fondamentale teorema, come, per esempio, quello di Pitagora, certamente non facile da elaborare Brouwer un teosofo e Srinivasa Ramanujan, il più grande matematico indiano degli ultimi cinque secoli, attribuì i suoi teoremi ...
Leggi Tutto
Il Rinascimento. Verso una nuova matematica
Enrico Giusti
Paolo Freguglia
Pier Daniele Napolitani
Pierre Souffrin
Verso una nuova matematica
Introduzione
di Enrico Giusti
A chi si volga alla matematica [...] un parallelogrammo, si utilizzano sempre e proficuamente teoremidi geometria euclidea per stabilire la validità geometrica et des notes par Paul Ver Eecke, Bruges, Desclée - De Brouwer et cie., 1926.
Wardy 1990: Wardy, Robert, The chain of ...
Leggi Tutto
La rivoluzione scientifica. Fonti
Fonti
Per le raccolte generali più frequentemente citate sono usate, nel testo, le seguenti abbreviazioni:
AT [Adam, Tannery] = Descartes, René, Oeuvres, publiées par [...] Carlo de' Toschi di Fagnano, v. II, pp. 283-286.
‒ Fagnano, Giulio Carlo, marchese de' Toschi, Teorema da cui si deduce C. Savreux, 1648 (anche in: Oeuvres complètes, Paris, Desclée de Brouwer, 1964, v. I).
‒ Pascal, Blaise, Traitez de l'équilibre ...
Leggi Tutto