algoritmo
algoritmo [Der. del lat. mediev. algorithmus o algorismus, dal nome d'origine al-Huwa-rizmī- del matematico arabo Muhammad ibn Mu-sa, del 9° sec.] [ALG] [INF] Qualunque schema o procedimento [...] , quale, per es., l'a. euclideo delle divisioni successive (v. oltre), l'a. algebrico (cioè l'insieme delle regole del calcoloalgebrico), ecc.: v. informatica: III 189 c. ◆ [ALG] A. euclideo: metodo per determinare il massimo comune divisore di ...
Leggi Tutto
L'Eta dei Lumi: matematica. I Principia di Newton nel Settecento
Niccolò Guicciardini
I Principia di Newton nel Settecento
Nel 1687 furono pubblicati a Londra i Principia di Newton. Quest'opera è oggi [...] è molto più elegante rispetto a quello cartesiano. Perché Descartes ha raggiunto i suoi risultati per mezzo di un calcoloalgebrico che, se trasposto in parole (seguendo la pratica degli antichi nei loro scritti), si dimostrerebbe così tedioso e ...
Leggi Tutto
proposizione
proposizióne [Der. del lat. propositio -onis, dal part. pass. propositus di proponere "mettere avanti", comp. di pro- e ponere "porre"] [ALG] [FAF] Nella logica matematica, enunciazione [...] e viceversa (ciò è noto anche come legge delle p. inverse). ◆ [ALG] [FAF] Algebra, o calcolo, delle p., o calcolo degli enunciati: il calcoloalgebrico logico nel quale, senza indagare sulla struttura delle singole p. semplici, si esamina come queste ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Meccanica e scienza del moto
Domenico Bertoloni Meli
Meccanica e scienza del moto
Il contesto intellettuale, istituzionale e sociale
Scrivere [...] inutilmente farraginosi al lettore moderno, abituato al formalismo algebrico e a un modo diverso di trattare i risultati competenze matematiche, che l'avevano portato a inventare il calcolo infinitesimale nel 1666, erano note a un piccolo numero ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] . La motivazione di McCarthy era quella di sviluppare un linguaggio algebrico di manipolazione delle liste per l'intelligenza artificiale. Da allora Lisp è stato implementato su molti calcolatori e ha generato numerosi dialetti; fra questi segnaliamo ...
Leggi Tutto
L'Eta dei Lumi: matematica. Meccanica e ingegneria
Massimo Corradi
Meccanica e ingegneria
Alla fine del XVII sec. e forse anche agli inizi di quello successivo, prima della formalizzazione del calcolo [...] differenziale da parte di Leibniz, la matematica viveva ancora la grande stagione del 'calcolo geometrico'; nella meccanica il formalismo algebrico, sino ad allora utilizzato, era ancora vincolato a una sua traslitterazione in termini geometrici. La ...
Leggi Tutto
La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. Statica
Fayza Bancel
Mariam Rozhanskaya
Statica
La statica è quella parte della meccanica che si occupa dell'equilibrio [...] ‒ come la teoria delle proporzioni, le tecniche di carattere infinitesimale ereditate dai Greci e i metodi algebrici e le tecniche di calcolo da loro stessi perfezionati ‒ gli scienziati arabi hanno portato la statica a un alto livello di sviluppo ...
Leggi Tutto
L'Eta dei Lumi: la fine della conoscenza naturale 1700-1770. Mathematica mixta
Curtis Wilson
Niccolò Guicciardini
Alan E. Shapiro
Mathematica mixta
Astronomia
di Curtis Wilson
Nel XVIII sec. l'accuratezza [...] del 1705.
Il primo tentativo di determinare per via algebrica l'orbita di una cometa fu effettuato da Pierre Bouguer ϱ2 e ϱ3); dopo avere determinato ϱ1, ϱ2, ϱ3, poté calcolare gli elementi orbitali. Nel 1743 Euler scoprì una relazione esatta del ...
Leggi Tutto
equazione
equazióne [Der. del lat. aequatio -onis "uguaglianza, uguagliamento", da aequare "uguagliare"] [LSF] Uguaglianza tra due espressioni (il primo e il secondo membro dell'e.) contenenti una o [...] ak sono numeri reali o complessi (o più in generale appartenenti a un campo algebrico). Si dice radice o soluzione dell'e. un valore α che la renda soddisfatta . differenziali ordinarie e alle derivate parziali: v. calcolo numerico: I 409 d, 411 a. ◆ ...
Leggi Tutto
algebrico
algèbrico agg. [der. di algebra] (pl. m. -ci). – Di algebra, che concerne l’algebra: calcoli a., somma a., analisi a., ecc.; in partic.: espressione a., ogni scrittura in cui compaiano numeri, lettere e indeterminate, queste ultime...
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...