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 [...] rapporti tra la dimostrazione aristotelica e l'assiomaticadeduttiva di Euclide. Un fatto, comunque, sembra procedeva giustamente dai principî più evidenti e più noti in assoluto ("Il metodo di natura è quello grazie al quale ciò che è del tutto e ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] M. Pieri, Uno sguardo al nuovo indirizzo logico-matematico delle scienze deduttive, «Annuario della Università di Catania», 1906-1907, pp. 21-82 del nuovo secolo fra gli esponenti del metodoassiomatico: la questione della non contraddittorietà degli ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Umberto Bottazzini
I fondamenti della geometria
Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] dal suo primo lavoro di logica, le Operazioni della logica deduttiva poste in apertura del Calcolo geometrico (1888). Minore è non è un difetto, ma anzi "un grandissimo pregio" del metodoassiomatico. Se poi si vuole applicare la teoria "al mondo dei ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] modelli. Altro esempio di s. ipotetico-deduttivo è la teoria assiomatica degli insiemi, la quale in alcune esposizioni caso è sempre possibile risolvere le equazioni in modo esplicito con i metodi dell’algebra lineare. Per un s. non lineare, a parte ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] procedimento che permette di combinare insieme i vantaggi del metododeduttivo e di quello induttivo. I nuovi m. si presentano quel dominio. Per es., se T è il sistema assiomatico di Peano, T potrà acquistare un significato se viene interpretato ...
Leggi Tutto
L'Ottocento: matematica. Meccanica analitica
Helmut Pulte
Meccanica analitica
La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] equilibrio e il moto di sistemi in una forma assiomatico-deduttiva. Tali principî, dunque, non dovevano soltanto fornire equazioni della [10], che si esprime anche nella [12], e il 'metodo dei minimi quadrati' (Gauss 1829, p. 235). Per dare al ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] ordinate così ottenute. Il costo C(n) di questo metodo è O(nlogn) e si ottiene risolvendo la semplice possibile definire un sistema deduttivo che consenta di derivare Hoare o, a volte, semantica assiomatica) viene data particolare enfasi all'analisi ...
Leggi Tutto
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...