Hermite, Charles
Enciclopedia on line
Matematico francese (Dieuze, Lorena, 1822 - Parigi 1901), uno dei più grandi analisti della seconda metà del sec. 19º. Ancora studente (1843-44), comunicò a C. G. J. Jacobi i risultati delle sue ricerche [...] per primo nelle ricerche sui numeri interi la considerazione di variabili continue; generalizzò al campo delle funzioni l'algoritmo aritmetico delle frazioni continue; nel corso di queste indagini, stabilì (1873) la trascendenza del numero e; è ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Dimostrazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] che a sinistra. Per esempio, se A è ∀xB abbiamo la dimostrazione
Si tratta di una trasformazione costosa dal punto di vista algoritmico, che ci può far passare da una dimostrazione di complessità n a una di complessità 2n. L'altro tipo di passo ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
dominio a fattorizzazione unica
Enciclopedia della Scienza e della Tecnica (2008)
dominio a fattorizzazione unica
Luca Tomassini
Sia S un dominio d’integrità con unità, ovvero un anello commutativo con unità tale che se a≠0 e b≠0 (con a,b∈S) allora ab≠0 . Due elementi c,d di S si [...] >0, lo è. In altri termini, se R soddisfa le proprietà (a) e (b) nell’anello R[x1,xn] esiste un algoritmo di divisione che ha le usuali proprietà ed è possibile ricondurre lo studio dei polinomi a quello dei loro fattori irriducibili.
→ Invarianti ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
ottimizzazione
Enciclopedia on line
In matematica applicata, e in particolare nella teoria delle decisioni, problemi di o., le questioni attinenti alla ricerca dei criteri di scelta tra diverse opzioni o di determinazione del valore di particolari [...] soluzione e così via, fino a quando l’ottimo trovato non coincide con la soluzione che lo ha generato. Questi algoritmi sono tipicamente abbastanza efficienti e vi sono importanti casi in cui essi trovano la soluzione ottima. Il metodo del simplesso ...
Leggi Tutto
tensore
Enciclopedia on line
Anatomia
Muscolo volontario o involontario che ha la funzione di tendere un organo o una formazione anatomica: t. del palato, contrae il palato molle; t. del tarso, nell’orbita, comprime i punti lacrimali [...] di t. sono dovuti a W. Voigt, che alla considerazione di tali enti fu condotto dalle sue ricerche sui cristalli (1882). Ma l’algoritmo tensoriale ha le sue origini nella teoria delle matrici e dei determinanti, i cui primi accenni sono dovuti a G.W ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
BELLAVITIS, Giusto
Dizionario Biografico degli Italiani (1970)
BELLAVITIS, Giusto
Nicola Virgopia
Nacque il 22 nov. 1803 a Bassano (Vicenza) dal conte Ernesto e da Giovanna Navarini.Ricevette la prima istruzione dal padre, funzionario nel municipio di Bassano, [...] , che nella sua Géometrie de position (1803)aveva messo in evidenza l'importanza di introdurre in geometria un algoritmo capace di rappresentare contemporaneamente sia la grandezza sia la posizione delle diverse parti di una figura geometrica, e tale ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
continuo 1
Dizionario delle Scienze Fisiche (1996)
continuo 1
contìnuo1 [agg. Der. del lat. continuus, da continere "tenere unito", comp. di cum "insieme" e tenere, e quindi "non interrotto"] [ALG] Applicazione c.: applicazione definita su uno spazio [...] scritto in uno e un solo modo come:
indicando con [x] la parte intera di x, la successione ai si costruisce con il seguente algoritmo:
Il numero a è razionale se e solo se per un certo j si ha aj=∞, ossia la frazione c. si tronca. La frazione ...
Leggi Tutto
polinomio
Enciclopedia on line
In matematica, somma di monomi (in senso proprio, solo con riferimento a monomi interi), detti termini del p.: binomio, trinomio, quadrinomio ecc., è un polinomio rispettivamente di 2, 3, 4 ecc. termini; [...] sia dotato di unità; b) che A [x] sia commutativo; c) che A [x] sia euclideo, ossia che in esso valga l’algoritmo euclideo delle divisioni successive (➔ Euclide); d) che A [x] sia principale ossia che ogni suo ideale sia costituito dai multipli di un ...
Leggi Tutto
CATEGORIA:
ALGEBRA
problema
Enciclopedia dei ragazzi (2006)
problema
Walter Maraschini
Quando la risposta a una domanda non è immediata
Ogni volta che si deve prendere una decisione e la soluzione non è subito disponibile, allora si ci pone un problema, che [...] i vincoli.
Si ricorre quindi a un modello che contenga tutti e soli gli elementi essenziali e permetta di trovare un algoritmo di risoluzione.
Analisi di un caso
Consideriamo il seguente problema: «n persone si incontrano e ognuno stringe la mano a ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Millennium Problems
Enciclopedia on line
Selezione di 7 problemi matematici proposti nel 2000 dal Clay Mathematics Institute (CMI) di Cambridge, Massachusetts, che ha stanziato per la risoluzione di ognuno di essi un premio di 1 milione di dollari. [...] relazione tra le classi di complessità computazionale P, cui appartengono i problemi che possono essere risolti con un algoritmo deterministico in un tempo polinomiale, e NP, cui appartengono i problemi che possono essere verificati (ma non risolti ...
Leggi Tutto