METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] finitistiche, uniche attendibili - per il Brouwer - a livello di ragionamento matematico. Nella geniale sintesi così difficoltà quanto dal teorema d'incompletezza di Gödel.
La metamatematica di Gödel. - La novità del metodo metamatematico di K. Gödel ...
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
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
Ordinare il mondo
Paolo Zellini
La matematica intesa come una razionalizzazione dell’esperienza, secondo la concezione del filosofo e matematico italiano Federigo Enriques (1871-1946), ha sempre cercato [...] costruttiva. Tutta la logica e tutta la matematica di Luitzen E.J. Brouwer (1881-1966, il principale esponente della scuola in altri casi, ai celebri teoremidi Gershgorin sulla collocazione degli autovalori di una matrice sul piano complesso.
...
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
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] Gödel scopre, e ne dà una famosissima dimostrazione nota come teoremadi → Gödel, che il programma hilbertiano non poteva essere condotto a coinvolgono l’infinito e, a detta diBrouwer, l’applicazione di tale principio logico può addirittura portare ...
Leggi Tutto
topologia
topologia termine che indica sia un settore disciplinare della matematica sia la famiglia (o collezione) di insiemi aperti (o semplicemente aperti) che definisce uno → spazio topologico.
La [...] algebrica combinatoria. Fra le applicazioni classiche della topologia algebrica vi è il teorema del punto fisso di → Brouwer (1912), che afferma che se K è un sottoinsieme convesso, chiuso e limitato di Rn e ƒ: K → K è una funzione continua, allora ƒ ...
Leggi Tutto