La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] Barend de Loor, fornì una dimostrazione intuizionista del teoremafondamentaledell'algebra. Le idee di Brouwer cominciarono a di un'algebra di Heyting).
Metamatematica della logica e dell'aritmetica intuizioniste dopo il 1940
Agli inizi degli ...
Leggi Tutto
Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] , in quanto divisibili per 5, tutti i n. che terminano con questa cifra, eccettuato però lo stesso 5. Uno dei teoremifondamentalidell’aritmetica afferma che ogni n. composto può ottenersi come prodotto di n. primi e ciò in modo unico (unicità ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] dell’intensità del campo elettromotore, E, e si tenga poi presente il teorema di Stokes della 2ª legge di Laplace dell’elettromagnetismo. La proprietà fondamentale di tale vettore è (sia pure come un postulato dell’aritmetica come fece G. Peano, 1899 ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] sec. a.C.) aveva sviluppato l’aritmetica, basandosi sui numeri figurati, e i primi teoremidella geometria elementare (similitudine, calcolo di aree tecniche e punti di vista che si rivelano fondamentali nella scoperta e nella dimostrazione di nuovi ...
Leggi Tutto
Il Rinascimento. L'astronomia
J.V. Field
L'astronomia
Gli storici dell'arte e delle discipline umanistiche si sentirebbero forse a proprio agio definendo 'Rinascimento' il periodo che va dal 1400 al [...] musicale era considerata un'applicazione dell'aritmetica. Così era del tutto normale parte del suo lavoro sia originale. Il teorema dei seni è particolarmente utile in astronomia razionale dietro il principio fondamentaledell'astrologia per cui i ...
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 [...] delle grandi scoperte nel campo della geometria, dell'algebra e dell'analisi sono state effettuate una sola volta. Quando constatiamo che un grande e fondamentaleteorema ) originate dalla combinazione dell'aritmetica e dell'algebra indiana con la ...
Leggi Tutto
Scienza greco-romana. Tolomeo
Ferruccio Franco Repellini
Tolomeo
L'indagine scientifica
Di Claudio Tolomeo si sono conservate numerose opere, che nel loro insieme coprono un ampio settore dell'enciclopedia [...] teorema di Tolomeo', in base al quale diviene possibile produrre una tavola delle cui sono matematiche le strutture fondamentalidell'armonia. Si può dire ‒ in modo tale che i requisiti della loro forma aritmetica non debbano estendersi ai composti, ...
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 [...] del giovane Hilbert, quando nel 1890 dimostra il fondamentaleteoremadella base, cioè il fatto che, data un'infinità dunque, in ultima analisi, degli assiomi dell'aritmetica. Il problema fondamentale del 'programma formalista' hilbertiano è già ...
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 [...] dell'aritmetica nelle opere Die Grundlagen der Arithmetik (I fondamenti dell'aritmetica, 1884) e Grundgesetze der Arithmetik (Leggi fondamentalidell'aritmetica sconvolgeva la sua concezione complessiva. Il teorema di Löwenheim-Skolem, stabilito nel ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] , come pure il teorema del binomio facevano parte delle conoscenze dei matematici arabi. Non è poi raro trovare regole riguardanti le permutazioni nei libri di ḥisāb, dopo l'esposizione delle regole elementari dell'aritmetica e della somma di una ...
Leggi Tutto
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...