Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Evangelista Torricelli
Carla Rita Palmerino
Tra i più originali e dotati discepoli di Galileo Galilei, di cui fu successore nella carica di matematico del granduca di Toscana, Evangelista Torricelli [...] , ma di servirsi unicamente di un procedimento di prova «meccanico», basato sull’idea che le velocità di corpi di uguale importanti della sua carriera di matematico, ovvero il calcolo del volume del solido iperbolico acuto, figura tridimensionale ...
Leggi Tutto
meccanicameccànica [Der. del lat. mechanica, dal gr. mechaniké (téchne) "(arte) delle macchine"] [MCC] Nella suddivisione tradizionale della fisica, la scienza che studia le leggi del moto dei corpi, [...] analitiche fra grandezze fisiche si traducono in relazioni tra le matrici corrispondenti, secondo le regole proprie del calcolo matriciale: v. meccanica quantistica: III 704 e, 705 e. ◆ [MCC] M. non lineare: parte della fisica che studia i fenomeni ...
Leggi Tutto
LEVI-CIVITA, Tullio
Luca Dell'Aglio
Nacque a Padova il 29 marzo 1873 da Bice Lattis e da Giacomo, avvocato e uomo politico, che fu sindaco di Padova tra il 1904 e il 1910 e senatore del Regno dal 1908. [...] orig. in catalano 1922; trad. tedesca 1927); le Lezioni di calcolo differenziale assoluto (Roma 1925; trad. inglese 1927, trad. tedesca 1928); i Fondamenti di meccanica relativistica (Bologna 1928) e il testo Caratteristiche dei sistemi differenziali ...
Leggi Tutto
funzione
funzióne [Der. del lat. functio -onis, dal part. pass. functus di fungi "adempiere"] Concetto che s'identifica con quello di applicazione, essendo peraltro preferito se l'insieme di arrivo è [...] una f. costante lungo le curve integrali di V; nel caso meccanico, in cui il campo è dato dalle soluzioni delle equazioni del ◆ Principio del massimo delle f. armoniche sferiche: v. variazioni, calcolo delle: VI 465 e. ◆ Teorema della f. inversa: v ...
Leggi Tutto
macchina
màcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] o elettromeccanico per eseguire operazioni aritmetiche, o poco più; lo stesso che calcolatrice (←) meccanica. ◆ [FME] M. cuore-polmoni: dispositivo che assicura, con una circolazione extracorporea del sangue, l'azione di pompaggio sanguigno del ...
Leggi Tutto
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] modo meccanico per ogni formula del linguaggio se è teorema o meno di T. Prototipo di questi risultati è il teorema di Gödel (1931), il finita di una teoria indecidibile – e che non esiste calcolo per la logica d’ordine superiore. Mediante il metodo ...
Leggi Tutto
In senso ampio, la costituzione e la distribuzione degli elementi che, in rapporto di correlazione e d’interdipendenza funzionale, formano un complesso organico o una sua parte; è così chiamato anche il [...] pratici; applicando poi la teoria della similitudine meccanica, si risale dal comportamento del modello a delle proprietà geometriche e fisiche della s. stessa; calcolo strutturale, determinazione analitica degli sforzi e delle deformazioni in ...
Leggi Tutto
Diritto
Si chiama c. fortuito qualunque accadimento che renda inevitabile il verificarsi di un evento, costituendo l’unica causa efficiente di esso. Non ha valore concreto la distinzione tra c. fortuito [...] soggettiva determinata dalla sorpresa di rinvenire un ordine meccanico dove ci si attendeva un ordine finalistico (e per alcuni c. alle preposizioni.
Matematica
In statistica e calcolo delle probabilità, con il termine c. s’intende generalmente la ...
Leggi Tutto
necessità Carattere, qualità, condizione di ciò che non può non essere o essere diversamente da come è.
Filosofia
Nel mondo greco, il termine corrispondente a n., ἀνάγκη, è adoperato inizialmente per [...] opposto, l’atomismo democriteo fa dipendere la n. solo dal moto meccanico e casuale degli atomi. La distinzione di questi due concetti, a dipendere esclusivamente dalle costanti logiche del calcolo usato senza riferimento a termini descrittivi. Un ...
Leggi Tutto
Matematica
Manipolazione algebrica
Metodica, basata su algoritmi impiegati negli elaboratori elettronici, che permette il trattamento automatico di espressioni matematiche (per es., polinomi, funzioni [...] detta, con uso improprio, m. simbolica, calcolo formale, calcolo simbolico, algebra computazionale ecc. Tale metodica è divenuta si dà il nome di manipolatore a un dispositivo meccanico usato per manipolare sostanze pericolose o di delicato maneggio ...
Leggi Tutto
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,...
calcolatrice
s. f. e agg. [der. di calcolare]. – Macchina da calcolo di non grandi dimensioni che permette di eseguire addizioni e sottrazioni (addizionatrice) ed eventualmente operazioni più complesse come moltiplicazioni, divisioni, estrazioni...