. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] . Bernays, ecc., nonché dell'"intuizionismo": L. E. J. Brouwer, A. Heyting, e altri. Essi auspicarono una ricostruzione della matematica l'esito del famoso teoremadi K. Gödel, che nel 1931 mostrò l'intrinseca impossibilità di stabilire, entro un ...
Leggi Tutto
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 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 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
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