TENSORIALE, ALGEBRA e ANALISI
Dionigi Galletto
Il calcolo t., sinonimo di calcolo differenziale assoluto (v. differenziale assoluto, calcolo, XII, p. 796; tensore, XXXIII, p. 497), i cui fondamenti [...] quantità
sussiste in tale spazio la "diseguaglianza di Schwarz": ∣ v • w ≤ ∣ v ∣ ∣ w ∣, di elementare dimostrazione, come elementare è la dimostrazione della "diseguaglianza di Minkowski": ∣ v + ∣w ≤ ∣ v ∣ + ∣ w ∣. Ne segue che uno s. v. propriamente ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Leonardo da Vinci
Domenico Laurenza
Leonardo da Vinci si formò come artista, ma nel corso della sua carriera tese a diventare uno scienziato. Il suo studio delle leggi e delle forme naturali, oltre [...] il papa Leone X promulga la bolla Apostolici regiminis, condannando come eretici i filosofi naturali che tendono a dimostrare la mortalità dell’anima. Il De immortalitate animae (1516) di Pietro Pomponazzi viene accusato di eresia proprio a ...
Leggi Tutto
Popolazione
Luciano Terrenato
Con il termine popolazione si intende genericamente un insieme di entità individuali. Così si può parlare di popolazioni di cellule che formano i diversi organi e sistemi [...] nel corso degli ultimi 100.000 anni. Un confronto con i dati demografici, archeologici e linguistici ha consentito poi di dimostrare il sovrapporsi delle genealogie. Se ne deduce che geni, popoli e lingue si sono diffusi parallelamente a partire dall ...
Leggi Tutto
Programmazione matematica
Angelo Guerraggio
Numerosissimi problemi, sia teorici che pratici, si traducono nella massimizzazione o minimizzazione di una determinata espressione. Sono i cosiddetti problemi [...] la ricerca della posizione di equilibrio. Lo stesso teorema compare – in termini più generali, anche se privo di una dimostrazione completa – in un articolo del 1838 di Mikhail V. Ostrogradsky che, da studente, aveva seguito i corsi di Fourier ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] sono immaginati decomposti in infinite sezioni piane. Il germe di questa concezione era già stato espresso da G. Keplero nel dimostrare che i volumi di un cilindro e del parallelepipedo circoscritto stanno tra di loro come le basi. Un altro allievo ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] ai primi anni 1950 (E.G. Máynez, G.H. von Wright, J. Kalinowski). Accanto a una l. dimostrativa, finalizzata a dimostrare la validità dei ragionamenti giuridici (per la quale solo i ragionamenti deduttivi, che dal generale pervengono al particolare ...
Leggi Tutto
Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] un insieme finito qualsiasi a valori in un campo. Le funzioni di Möbius e la loro estensione trovano vasta applicazione nelle dimostrazioni che richiedono un gran numero di calcoli non controllabili dall’uomo, come, per es., i calcoli sui nodi di un ...
Leggi Tutto
SKOLEM, Thoralf
Carlo Cattani
Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre [...] ottenuti da S. nei fondamenti della matematica e nella logica. Estendendo un risultato di L. Löwenheim (1915), ha dimostrato che se un insieme finito o numerabile di enunciati del linguaggio predicativo del primo ordine è soddisfacibile in un qualche ...
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 [...] della leva o alla regola del parallelogramma delle forze o a entrambi. Oggi può sembrare strana l'intenzione di voler dimostrare un principio o assioma meccanico che si trova come premessa di un sistema deduttivo. Essa rivela invece una "crisi dei ...
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 [...] e r da 2 a 5, la formula
dove Frk è il k-esimo numero figurato di ordine r. Nel corso della dimostrazione, ottenuta mediante un'induzione di tipo arcaico presente negli studi arabi di aritmetica, egli utilizza l'uguaglianza:
e conosce le regole ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...