stringa
stringa [Der. dell'ingl. string "cordoncino"] [ELT] [INF] Nella tecnica dei calcolatori elettronici, sequenza finita di caratteri alfanumerici registrata in memoria che rappresenta dati in forma [...] codificata: s. alfabetica, di soli caratteri alfabetici, s. di bit, di numeri binari, ecc. ◆ [ALG] S. casuale: v. Gödel, teorema di: III 58 a. ◆ [ASF] S. cosmica: v. cosmologia primordiale: I 803 d. ◆ [RGR] S. relativistica: lo stesso che corda ...
Leggi Tutto
calcolabilita
calcolabilità [Der. di calcolabile] [ALG] Generic., la proprietà di essere calcolabile. ◆ [FAF] Per una teoria, è una delle formulazioni equivalenti del concetto generale di ricorsività, [...] detta anche definibilità e studiata per la prima volta da K. Gödel nel 1936 (Über die Länge von Beweisen): v. Gödel, teorema di: III 56 c. ...
Leggi Tutto
Smale Stephen
Smale 〈smèil〉 Stephen [STF] (n. Flint, Michigan, 1930) Prof. di matematica nella Columbia Univ. (1961), poi (1964) nell'univ. di Berkeley. ◆ [MCC] Controesempio di S.: v. sistemi dinamici: [...] V 296 a. ◆ [MCC] Ferro di cavallo (horseshoe) di S.: v. sistemi dinamici: V 293 b. ◆ [ALG] Teorema di S.: una varietà differenziabile con gli stessi gruppi di omotopia di una sfera di dimensione n è omeomorfa a questa sfera se n≥5 (non si sa se anche ...
Leggi Tutto
Gauss Karl Friedrich
Gauss 〈gàus〉 Karl Friedrich [STF] (Brunswick 1777 - Gottinga 1855) Prof. di astronomia nell'univ. di Gottinga e direttore del locale Osservatorio astronomico (1807). ◆ [ALG] Applicazione [...] : II 846 e. ◆ [ANM] Lemma di G.: lo stesso che lemma di Green. ◆ [PRB] Metodo dei minimi quadrati di G.: v. limite centrale, teoremi del: III 413 c. ◆ [ANM] Metodo di G.-Seidel: v. calcolo numerico: I 409 b. ◆ [MTR] Metodo di misurazione di G.: altra ...
Leggi Tutto
Dedekind Julius Wilhelm Richard
Dedekind 〈déedëkint〉 Julius Wilhelm Richard [STF] (Brunswick 1831- ivi 1916) Matematico, insegnò nel politecnico di Zurigo (1862), poi in quello di Brunswick (dal 1862); [...] socio straniero dei Lincei dal 1911. ◆ [ALG] Assiomi di Peano-D.: quelli su cui può fondarsi l'aritmetica: v. Gödel, teorema di: III 54 a. ◆ [ALG] Sezione di D.: qualunque suddivisione dell'insieme Q dei numeri razionali in due sottoinsiemi A e B ...
Leggi Tutto
omologico
omològico [agg. (pl.m. -ci) Der. di omologia] [ALG] Algebra o.: ramo dell'algebra moderna sorto allo scopo di fornire strumenti per lo studio di problemi di algebra che s'incontrano nella topologia, [...] in partic. relativi a gruppi di omologia: v. topologia algebrica: VI 262 b sgg. ◆ [ALG] Teorema dei triangoli o.: riguarda triangoli che si corrispondono in un'omologia piana: → Desargues, Gérard: Teoremi di Desargues. ...
Leggi Tutto
Frobenius Georg Ferdinand
Frobenius 〈frobéenius〉 Georg Ferdinand [STF] (Berlino 1849 - ivi 1917) Prof. di matematica nel politecnico di Zurigo (1875) e poi nell'univ. di Berlino (1902). ◆ [ALG] Condizioni [...] di F.: v. buco nero: I 385 e. ◆ [ALG] Reciprocità di F.: v. invarianti, teoria degli: III 288 c. ◆ [ALG] Teorema di F., o di Perron-F.: v. varietà differenziabili: VI 490 f. ...
Leggi Tutto
Sistemi dinamici
Franco Magri
Dmitrij Anosov
Il concetto di sistema è presente nel dibattito scientifico degli ultimi decenni nelle più diverse discipline: dall'idea di sistema fisico a quella di ecosistema, [...] W tale che ϑ=dW(q,c); il potenziale W(q,c) è l'integrale completo cercato dell'equazione di Hamilton-Jacobi. Questo teorema è stato talmente importante negli sviluppi successivi della teoria che si è presa l'abitudine di definire integrabile un s. d ...
Leggi Tutto
Hurewicz Witold
Hurewicz 〈húrviz〉 Witold [STF] (Łódz´, Polonia, 1904 - Uxmal, Messico, 1956) Prof. di matematica nell'univ. della Carolina del nord, a Chapel Hill (1939), poi nel MIT di Cambridge, Mass. [...] (1948) e infine nell'univ. di Princeton (1948). ◆ [ALG] Omomorfismo di H.: v. topologia algebrica: VI 260 e. ◆ [ALG] Teorema di H.: riguarda gli zeri delle funzioni olomorfe: v. topologia algebrica: VI 260 f. ...
Leggi Tutto
Girsanov Igor Vladimirovich
Girsanov 〈g✄irsanòf〉 Igor Vladimirovich [STF] (n. nel Turkestan 1934 - Sayan 1967) Prof. di probabilità e statistica nell'univ. di Mosca (1965). ◆ [PRB] Formula di G.: v. [...] processi di punto: IV 602 a. ◆ [PRB] Formula di G.-Cameron-Martin: v. diffusione, teoria della: II 172 b. ◆ [ALG] [PRB] Teorema di G.-Cameron-Martin: v. geometria differenziale stocastica: III 38 a. ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...