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 [...] matematica, una teoria formalizzata si 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 ...
Leggi Tutto
MATEMATICA (XXII, p. 547 e App., II, 11, p. 276)
Francesco G. TRICOMI
Gli sviluppi più recenti della m. saranno qui presi in esame soprattutto nelle loro linee generali e nei loro mutui rapporti; per [...] matematica. Invero, anche una formuletta di algebra elementare, quale per es. (a+ b) (a−b) = a2−b2 è, in certo senso, una formula "astratta", in quanto prescinde completamente dal valore dei due numeri indicati con a e con b. Ora però si va molto più ...
Leggi Tutto
Shannon Claude Elwood
Shannon 〈šènën〉 Claude Elwood [STF] (n. Gaylord, Michigan, 1916) Dapprima ricercatore nei Bell Telephone Laboratories (1941), poi prof. di elettrotecnica nel politecnico del Massachusetts [...] (1957). ◆ [INF] Definizione di S.: v. entropia e informazione: II 427 e. ◆ [ELT] Formula di Hartley-Tuller-Wiener-S.: → Hartley, Rolph Vinton Lyon. ◆ [INF] Informazione di S.: v. ordine: IV 310 b. ◆ [INF] Teorema di S.: v. informazione, teoria dell': ...
Leggi Tutto
Particolare tipo di procedimento, usato in logica matematica e soprattutto nella teoria della ricorsività, nel quale si fa uso dell’operatore di m., o operatore-μ, che consente di definire in modo opportuno [...] In generale, per definire una funzione (x1, ..., xn) a partire da una funzione nota g(x1, ..., xn, y), per m. di y, si usa la formula:
f(x1, ..., xn) = μy[g(x1, ..., xn, y) = 0]
che si legge: «f(x1, ..., xn) è uguale al più piccolo y tale che sia g ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] M′ è sottostruttura elementare di M e scriveremo M′〈M se per ogni formula A e ogni n-pla a1,…,an in DM′
[10] M M2 ' A[a1,...,an]
per ogni n-pla di elementi di M0 e ogni formula A. È chiaro, allora, che se T è model-completa e ogni sottostruttura M ...
Leggi Tutto
Ito Kiyosi
Ito Kiyosi [STF] (n. Tokyo 1915) Prof. di matematica nell'univ. di Tokyo. ◆ [PRB] Calcolo differenziale stocastico di I.: v. equazioni differenziali stocastiche: II 468 a. ◆ [PRB] Equazione [...] stocastica in avanti di I. : v. equazioni differenziali stocastiche: II 466 f. ◆ [PRB] Formula di I.: v. diffusione, teoria della: II 172 b. ◆ [PRB] Formula di I.-Girsanov: v. equazioni differenziali stocastiche: II 473 e. ◆ [PRB] Integrale ...
Leggi Tutto
Parte dell’analisi matematica che si occupa della ricerca di algoritmi per la risoluzione numerica di problemi quali l’approssimazione di funzioni e l’integrazione di equazioni differenziali ordinarie [...] ;a′1. Si può quindi iterare il procedimento ottenendo l’uno dopo l’altro gli elementi di una successione decrescente b, a′1, a′2 …, a′n, … dalla formula ricorsiva (per n≥2):
a′n = [a′n–1 f(a)−af(a′n–1)]/[f(a)−f(a′n–1)],
che tende al numero α. Si può ...
Leggi Tutto
Matematico (Goldberg, Slesia, 1818 - Breslavia 1861). Libero docente nell'univ. di Berlino (1846), poi prof. nelle univ. di Halle e di Breslavia (1856). Si occupò principalmente di geometria analitica [...] (normali per un punto a una conica o a una quadrica, teoria della polarità rispetto a una superficie). Gli si deve, in partic., una formula (formula, o metodo, di J.) per determinare le intersezioni di una conica con una retta. ...
Leggi Tutto
Clebsch Rudolf Friedrich Adolf
Clebsch 〈klèpc〉 Rudolf Friedrich Adolf [STF] (Königsberg 1833 - Gottinga 1872) Prof. di analisi matematica nel politecnico di Karlsruhe (1858) e poi nelle univ. di Giessen [...] ] Coefficienti di C.-Gordan: v. momento angolare in meccanica quantistica: IV 96 a. ◆ [ALG] Serie, o formula, di C.-Gordan: formula che permette di decomporre una rappresentazione riducibile di un gruppo di Lie nella somma diretta di rappresentazioni ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] s. sia immerso in un mezzo omogeneo (normalmente, l’aria), di modo che gli indici di rifrazione n, n′ coincidano. In tale caso, dalle formule precedenti si ricava subito che è f=f′, xN=xN′ =0, cioè che le due distanze focali sono uguali e che i nodi ...
Leggi Tutto
formula
fòrmula (o fòrmola) s. f. [dal lat. formula, propr. dim. di forma «forma»]. – 1. a. Frase o insieme di frasi imposte da una norma consuetudinaria (rituale o legale) come espressione costante di determinati fatti o strettamente legata...