La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] teoremadi Ṯābit ibn Qurra sui numeri amicabili, seguendo il nitido stile euclideo di Ṯābit e, allo stesso modo, riprende anche vari problemi di d'après Ibn Sina (Avicenne), Paris, Desclée de Brouwer, 1957.
Hasnawi 1990: Hasnawi, Ahmad, Fayḍ ( ...
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 [...] anche due risultati noti come secondo e terzo teoremadi Gerschgorin.
André Weil pubblica Foundations of algebraic geometry solare. Gli astronomi G.M. Clemence e D. Brouwer, dello U.S. Naval Observatory di Washington, calcolano in (8,798.4±0,000.4 ...
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 [...] ), sensibile alle posizioni dell'intuizionismo di Luitzen Egbertus Jan Brouwer (1881-1966), arriva a dichiarare 'ulteriore fonte di assiomi di grandi cardinali è rappresentata dalle proprietà di partizione; il punto di partenza è un teoremadi Frank P ...
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 [...] dei numeri ideali di Kummer, motivata dalla possibilità di estendere a campi numerici più ampi il teoremadi fattorizzazione unica in dilagare in Germania.
Nell'intento di confutare l'intuizionismo diBrouwer, Hilbert si erse a strenuo difensore ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] decenni del Novecento (la matematica diBrouwer, notava von Neumann in una chiama operatore di contrazione. Si dimostra allora (teoremadi contrazione) che se X è completo (ogni successione di Cauchy di elementi di X converge a un elemento di X) ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo diBrouwer
Anne L. Troelstra
L'intuizionismo diBrouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] numerabili e, insieme al suo studente Barend de Loor, fornì una dimostrazione intuizionista del teorema fondamentale dell'algebra. Le idee diBrouwer cominciarono a essere più ampiamente conosciute soltanto dopo il 1920, quando egli tenne una serie ...
Leggi Tutto
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
punto fisso
Luca Tomassini
Un punto x di un insieme X tale che F(x)=x per una determinata mappa F:X→X, ovvero di X in sé. Un tale punto si dirà anche punto fisso per F. La dimostrazione dell’esistenza [...] provano esistenza e unicità della soluzione del problema di Cauchy per equazioni differenziali ordinarie. Un altro esempio importantissimo e di sorprendente generalità è costituito dal teoremadi punto fisso diBrouwer. In questo caso X è un disco (o ...
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