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 [...] è assunta per corrispondenze biunivoche e continue, egli aggiunge congetturando di fatto un profondo teoremadi topologia che sarà dimostrato solo trent'anni più tardi da Luitzen Egbertus Jan Brouwer (1881-1966).
Per Cantor, la teoria degli insiemi è ...
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 [...] di un sistema di assiomi per la teoria degli insiemi, secondo lo stile di Zermelo. Hilbert tuttavia era sensibile alle critiche di Kronecker e diBrouwerdi un altro risultato che sconvolgeva la sua concezione complessiva. Il teoremadi Löwenheim ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali alle derivate parziali
Haïm Brezis
Felix Browder
Equazioni differenziali alle derivate parziali
Lo studio delle equazioni [...] passo avanti dell'analisi funzionale non lineare. Sulla base di precedenti risultati parziali di Birkhoff-Kellogg sulle estensioni del teorema del punto fisso diBrouwer a dimensioni infinite, Schauder nel 1930 aveva stabilito il fondamentale ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale
Jeremy Gray
Geometria differenziale
La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] di bordo di una varietà richiede attenzione. Weyl si basava poi su argomenti di Luitzen Egbertus Jan Brouwer, soltanto se la sua prima classe di Stiefel-Whitney è nulla.
Allo scopo di generalizzare il teoremadi Gauss-Bonnet a n dimensioni, ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] a de Finetti e a Werner Fenchel ‒ e generalizza il teoremadi punto fisso diBrouwer per le funzioni. Von Neumann riesce così a dimostrare il teoremadi minimax, provando l'esistenza di soluzioni per ogni gioco finito (in cui i giocatori hanno un ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali ordinarie
Jean Mawhin
Equazioni differenziali ordinarie
Accanto a sostanziali progressi nella teoria delle equazioni [...] (1884-1972) e Levinson dimostrano l'esistenza di una soluzione T-periodica di classi di equazioni di Liénard forzate utilizzando il teorema del punto fisso diBrouwer applicato all'operatore di Poincaré corrispondente. L'anno dopo Levinson definisce ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] di Church si riferisce alla nozione di attività mentale matematica, oggetto di studi approfonditi da parte di Luitzen Egbertus Jan Brouwer , e ottenere una versione del 'teoremadi Gödel': un sistema di assiomi e regole che sia codificabile mediante ...
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 [...] di chiusura e le algebre diBrouwer (McKinsey 1946). Tali strutture, chiamate successivamente algebre di esprime la meno controversa tra le proprietà del concetto di necessità, non è un teoremadi GL). Risultò in seguito che il medesimo calcolo modale ...
Leggi Tutto
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