Helmholtz, Hermann L.F. von
Giuditta Parolini
Un medico appassionato di fisica e matematica
Hermann von Helmholtz, prussiano, è stato uno degli ultimi grandi esempi di scienziato 'enciclopedico' dell'Ottocento: [...] e matematica, studiando in particolare il principio di conservazione dell'energia, il moto dei fluidi, l'elettromagnetismo, gli assiomi della geometria, la percezione dei suoni e dei colori, e cercando di spiegare il funzionamento del corpo umano per ...
Leggi Tutto
calcolo
càlcolo [Der. del lat. calculus, propr. "pietruzza", qui nel signif. di "gettone per fare conti"] [ALG] [ANM] (a) Insieme di procedimenti atti a dare la soluzione di un dato problema matematico [...] eseguire una data operazione. (b) In termini più elevati, metodo per identificare insiemi a partire da elementi iniziali (assiomi del c.) e regole di derivazione che descrivono come costruire nuovi elementi dell'insieme a partire da quelli iniziali e ...
Leggi Tutto
proprio
pròprio [Der. del lat. proprius, probab. dalla locuz. pro privo "a titolo privato"] [LSF] Conserva il signif. di proprietà e quindi con signif. affine a quello di peculiare, specifico e simili. [...] generico, in senso lato e sim. per sottolineare la specificità di qualcosa. ◆ [ALG] [FAF] Assiomi p., o non logici: nella logica matematica, gli assiomi specifici di una teoria formalizzata. ◆ [ALG] [FAF] Classe p.: ogni insieme che non possa essere ...
Leggi Tutto
categoria
categoria [Der. del lat. categoria, dal gr. kategoría "attributo"] [ALG] Nell'algebra astratta, struttura algebrica costruita nel modo seguente. Sia data una famiglia M di enti matematici (detta [...] oggetti) e per ogni paio di oggetti x,y∈M un insieme di relazioni Hom(x,y) i cui elementi f:x→y, detti morfismi, soddisfino i seguenti assiomi: (a) dati f,g∈Hom(x,y) si può definire il morfismo composto g✄f; (b) dati f,g,h∈Hom(x,y) si ha (h°g)°f ...
Leggi Tutto
incompleto
incomplèto [agg. Comp. di in- neg. e completo] [CHF] Reazione i.: reazione che s'arresta prima della completa trasformazione delle sostanze reagenti. ◆ [ALG] [FAF] Teoria i.: nella logica [...] dice sintatticamente i. quando esiste una formula del suo linguaggio di cui non si può dimostrare né la verità né la falsità, e si dice semanticamente i. se esistono conseguenze dell'insieme dei suoi assiomi che non sono teoremi della teoria stessa. ...
Leggi Tutto
euclideo
euclidèo [agg. Der. di Euclide] [ALG] [FAF] Qualifica di ente matematico o di sistema ipotetico-deduttivo che soddisfi i postulati di Euclide. ◆ [ALG] Algoritmo e. delle divisioni successive: [...] di divisione: → algoritmo. ◆ [ALG] Connessione e.: v. connessione: I 725 f. ◆ [ALG] Geometria e.: quella basata sui postulati e gli assiomi di Euclide, l'unica sino a quasi tutto il sec. 19°: v. geometria. ◆ [ALG] Gruppo e.: è da taluno così chiamato ...
Leggi Tutto
algoritmizzazione
algoritmizzazióne [Der. di algoritmizzare "tradurre in algoritmi"] [FAF] [INF] Processo di traduzione in algoritmi di un fenomeno naturale o artificiale, a scopo conoscitivo o normativo. [...] un'a. della matematica, quale metodo più rigoroso di derivazione logica dei teoremi della matematica a partire dagli assiomi: ogni teorema dovrebbe, secondo questo programma di lavoro, essere visto come il risultato di un "calcolo meccanico" ben ...
Leggi Tutto
schema
schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] con un'unica formula, in cui compaiono uno o più simboli la cui precisazione porta a identificare ognuno degli assiomi. ◆ [FTC] S. funzionale: rappresenta, più che la struttura di un dispositivo, la successione delle varie unità nell'ordine che ...
Leggi Tutto
ipotetico
ipotètico [agg. (pl.m. -ci) Der. di ipotesi] [FAF] Che si fonda su un'ipotesi o che si serve della formulazione di un'ipotesi. ◆ [FAF] Giudizio i.: ogni giudizio logico del tipo "se A è, allora [...] .-deduttivo: insieme di nozioni omogenee collegate, costruito formulando una serie di ipotesi (variamente denominate e spesso chiamate assiomi e postulati) e deducendo da esse, per ragionamento logico, tutte le possibili conseguenze; è questo il modo ...
Leggi Tutto
chiusura
chiusura [Der. del lat. clausura, dal part. pass. clausus di claudere "chiudere", "atto ed effetto del chiudere" e anche "ciò con cui si chiude"] [ALG] C. algebrica: v. varietà algebrica: VI [...] che qualunque loro intorno ha intersezione non vuota con A. ◆ [ALG] C. di uno spazio topologico: è definita dai relativi assiomi di c. (v. oltre). ◆ [ALG] [FAF] C. universale di un'espressione: nella logica matematica, data un'espressione contenente ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
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...