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 [...] algebriche di gruppo, anello, campo e così via, assumendo come primitivo il concetto di insieme, si serve del sistemaassiomatico di Zermelo e Fraenkel, ma dichiara di non voler entrare "nelle difficoltà inerenti i fondamenti", preferendo un punto ...
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 [...] sono quelli che governano gli insiemi o le successioni di numeri naturali. Così, Weyl edificò in Das Kontinuum un sistemaassiomatico del secondo ordine le cui variabili di tipo 0 vengono interpretate come varianti sui numeri naturali, e quelle di ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] delle artes sermocinales, assumesse come suo punto di riferimento gli Elementa di Euclide, anche se il loro sistemaassiomatico non gli sembrava ancora sufficiente a soddisfare il criterio essenziale della chiarezza e della coerenza. È un dato ...
Leggi Tutto
Il Rinascimento. Le arti matematiche
Eberhard Knobloch
Ivo Schneider
Le arti matematiche
Il concetto di scienze matematiche
di Eberhard Knobloch
Il Rinascimento riprese dal Medioevo il concetto delle [...] soltanto un sapere coerente da un punto di vista assiomatico.
Contro l'autorità di Piccolomini, invece, prese posizione al-Hwārazmī (m. 847). A lui e ai suoi successori risalivano i sistemi di notazione e i metodi di soluzione in uso. Per esempio, l ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] allora l'output verifica la proprietà Q. Hoare ha fornito anche un sistema di assiomi per la sua logica, che permette di dimostrare che di Hoare è alla base dell'approccio assiomatico alla semantica dei linguaggi di programmazione.
Classificazione ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] possibilità di conoscere l'approccio assiomatico-deduttivo caratteristico della matematica greca, quella usata da Planude); la maniera in cui l'autore spiega il sistema sessagesimale dimostra che egli conosce le tavole persiane in cui i valori sono ...
Leggi Tutto
Scienza greco-romana. Euclide e la matematica del IV secolo
Reviel Netz
Euclide e la matematica del IV secolo
Sappiamo del IV sec. a.C. più di quanto non sappiamo del V, ma è sempre molto poco. Fra [...] e ‘nozioni comuni’, cioè ulteriori enunciati di carattere assiomatico. Il più famoso e importante dei postulati è il quelli di cui i Greci si servivano per i calcoli. Il sistema di numerazione greco era assai complicato, quasi nessun matematico greco ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] di questo metodo combinato. La struttura dei Principia è assiomatico-deduttiva, nel senso che Newton aveva indicato a Oldenburg ) introduce un'ipotesi nel Libro III secondo cui: "il centro del sistema del mondo è in quiete" (ibidem, p. 586), e ne ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] di realizzare uno sviluppo sistematico, strutturato, comprensivo dell'assiomatica necessaria che dovrà servire come strumento di base che contiene un aperto contenente A. Si introduce il sistema fondamentale di intorni e la base di una topologia. ...
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 [...] lettere cosiddette 'deboli' quali wāw, yā᾽, hamza, e sistema quindi le varie classi secondo un principio morfologico. Consideriamo il anche solo utili al trattato. Se dunque l'aspetto 'assiomatico' della dottrina di Avicenna, e una propensione per l ...
Leggi Tutto
assiomatico
assiomàtico agg. [dal gr. ἀξιωματικός] (pl. m. -ci). – Di assioma, che ha carattere di assioma, quindi, in genere, evidente, indiscutibile: verità a.; principî assiomatici. In logica matematica, trattazione a. (di una data questione),...
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...