Uryson Pavel Samuilovic
Uryson (o Urysohn) 〈urïsòn〉 Pavel Samuilovič [STF] (Odessa 1898 - Batz, Loira, 1924) Libero docente di matematica nell'univ. di Mosca (1921). ◆ [ALG] Lemma di U.: afferma che [...] in uno spazio normale X, dati due insiemi disgiunti A e B, si può sempre trovare una funzione f tale che f(x)=0 se x∈A, f(x)=1 se x∈B, 0≤f(x)≤1 se x∉A⋃B. ◆ [ANM] Teorema di U.: ogni spazio topologico normale, provvisto di una base numerabile di ...
Leggi Tutto
minimalizzazione
minimalizzazióne [Der. di minimalizzare "rendere minimo", da minimale] [ALG] [FAF] Nella logica matematica, procedimento mediante il quale, dato un predicato P, si perviene, mediante [...] che indica il minimo valore della variabile predicativa x che verifichi il predicato P; per es., la funzione mcm(a,b), cioè il minimo comune multiplo dei due numeri a, b, può essere individuata, per m., a partire dal valore minimo di x che soddisfi ...
Leggi Tutto
rappresentabile
rappresentàbile [Der. di rappresentare (→ rappresentazione) "che è suscettibile di rappresentazione"] [ALG] [FAF] Funzione r.: nella logica matematica, è tale una funzione di una o più [...] variabili numeriche f(x₁,x₂,..., xn) in un sistema S se e solo se c'è in S una formula P(x₁,..., xn+1), tale che per ogni sostituzione di valori numerici k₁,..., kn+1 rispettiv. alle variabili x₁,..., ...
Leggi Tutto
Cox David Roxbee
Cox 〈kòks〉 David Roxbee [STF] (n. 1924) Prof. di matematica nell'univ. di Londra (1961). ◆ [ALG] Diagramma di C.: diagramma cartesiano in cui una grandezza è in ordinate in scala logaritmica, [...] mentre in ascisse è riportato l'inverso della variabile indipendente di cui la grandezza è funzione. ◆ [PRB] Modello di C.: v. processo di punto: IV 603 f. ...
Leggi Tutto
Schmidt Erhard
Schmidt 〈šmìt〉 Erhard [STF] (Dorpat 1876 - Berlino 1959) Prof. di matematica nell'univ. di Berlino (1917). ◆ [ANM] Equazione, o funzione, di Hilbert-S.: v. equazioni integrali: II 479 [...] c. ◆ [ANM] Metodo di riduzione di Ljapunov-S.: v. analisi non lineare: I 140 d. ◆ [ALG] Ortonormalizzazione di Gram-S.: → Gram, Jørgen Pedersen ...
Leggi Tutto
metasimbolo
metasìmbolo [Comp. di meta- e simbolo] [ALG] [FAF] Nella logica matematica, simb. non appartenente all'alfabeto di una teoria e che viene introdotto con funzione ausiliaria per semplificare [...] l'esposizione della teoria medesima ...
Leggi Tutto
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso di un sistema sociale, burocratico, ecc....
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...