sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] di sistema di produzione formulata nel 1943 da Post. I linguaggi, i calcoli logici e le teorie formalizzate al centro dell’analisi della logica matematica sono per lo più sistemi formali di questo tipo e il loro studio dal punto di vista sintattico è ...
Leggi Tutto
Peierls Sir Rudolph Ernst
Peierls 〈páierls〉 Sir Rudolph Ernst [STF] (Berlino 1907 - Oxford 1995) Prof. di matematica applicata nell'univ. di Birmingham (1937), poi di fisica teorica nell'univ. di Oxford [...] simmetria, e anche a una molto dettagliata analisi microscopica del fenomeno di coesistenza delle fasi e risponde forse ai criteri di rigore della fisica matematica ed è stata posta in forma matematica pienamente rigorosa da R. Dobrushin (1965), ...
Leggi Tutto
Whitney Hassler
Whitney 〈uìtni〉 Hassler [STF] (n. New York 1907) Prof. di matematica nella Harvard Univ. (1946) e di Princeton (1952). ◆ [ALG] Classi di W., o di Stiefel-W.: per una varietà differenziabile [...] . classi caratteristiche: I 631 a. ◆ [ALG] Formula di W.: v. classi caratteristiche: I 630 d. ◆ [ANM] Teorema locale di W.: v. analisi non lineare: I 141 c. ◆ [ALG] Teorema di W. sui grafi: due grafi G, G' isomorfi (dal punto di vista della struttura ...
Leggi Tutto
combinatorio
combinatòrio [agg. Der. di combinare: → combinatore] [ALG] Algebra c.: studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), strutture algebriche di tipo [...] loop, i monoidi, i reticoli (→ le singole voci). ◆ [ALG] Analisi, o calcolo, c.: parte dell'aritmetica, che ha come scopo principale quello ) e sono utili in tutti i campi della matematica, spec. per risolvere alcune questioni fondamentali del calcolo ...
Leggi Tutto
Kummer Ernst Eduard
Kummer 〈kumër〉 Ernst Eduard [STF] (Sorau 1810 - Berlino 1893) Prof. di matematica nell'univ. di Breslavia (1843) e poi di Berlino (1856); socio straniero dei Lincei (1883). ◆ [ANM] [...] certo complesso di rette; un suo caso particolare è la superficie d'onda che si considera nel principio di Huygens-Fresnel e interviene in molte questioni di analisi, geometria e meccanica (funzioni abeliane, complessi di rette, fronti d'onda, ecc.). ...
Leggi Tutto
singolare
singolare [agg. Der. del lat. singularis "proprio di uno solo"] [LSF] Di ente che si comporta in modo diverso dal normale, che presenta eccezioni rispetto a qualche proprietà, in contrapp. [...] ◆ [ALG] [FAF] Proposizioni s.: nella logica matematica, proposizioni che riguardano uno e un solo oggetto o individuo complessa: II 778 d. ◆ [ALG] [ANM] Punto s. stabile: v. analisi non lineare: I 141 a. ◆ [ALG] [ANM] Punto s. trascendente di ...
Leggi Tutto
Frechet Maurice-Rene
Fréchet 〈freshé〉 Maurice-René [STF] (Maligny 1878 - Parigi 1973) Prof. di matematica in varie univ. e infine (1929) all'École normale supérieure di Parigi. ◆ [PRB] Classe di F.: [...] spesso denotata con f'(x), è unica, se esiste. ◆ [ANM] Differenziabilità secondo F. e differenziale secondo F.: v. sopra: Derivata di Fréchet. ◆ [ANM] Spazio di F.: uno spazio localmente metrizzabile e completo: v. funzionale, analisi: II 770 f. ...
Leggi Tutto
Radon Johann
Radon 〈ràadon〉 Johann [STF] (Dečin, Boemia 1887 - Vienna 1956) Prof. di matematica nell'univ. di Greifswald (1922), poi di Erlangen (1925) e infine di Breslavia (1928). ◆ [ANM] Decomposizione [...] di R.-Nicodym: v. misura e integrazione: IV 4 f. ◆ [ANM] Formula di inversione per la trasformata di R.: v. analisi armonica: I 130 a. ◆ [PRB] [ANM] Misura di R.: una delle possibili generalizzazioni della misura di Lebesgue: v. cammini aleatori ...
Leggi Tutto
non standard
nón stàndard [locuz. agg.] [LSF] Generic., di enti o condizioni non usuali, non rispondenti a certe norme, e simili. ◆ [ALG] [FAF] Analisi n.: disciplina nata nell'ambito della logica matematica, [...] negli anni '60 di questo secolo, per rendere coerente e rigoroso il metodo degli infinitesimi e infiniti dell'analisi settecentesca; si è in seguito rivelata uno strumento utile per risolvere problemi attuali, con applicazioni in molti campi, dalla ...
Leggi Tutto
Stone Marshall Harvey
Stone 〈stóun〉 Marshall Harvey [STF] (New York 1903 - Amherst, Massachusetts, 1978) Prof. di matematica nella Harvard Univ. (1933) e poi nell'univ. di Chicago (1968) e del Massachusetts [...] classica: IV 579 d; (b) per stati regolari: v. rappresentazioni delle relazioni di commutazione canoniche: IV 752 d. ◆ [ANM] Teorema di S.-Weierstrass: costituisce una generalizzazione del teorema di Weierstrass: v. funzionale, analisi: II 770 b. ...
Leggi Tutto
analisi
anàliṡi s. f. [dal gr. ἀνάλυσις, der. di ἀναλύω «scomporre, risolvere nei suoi elementi»]. – 1. Scomposizione di un tutto, concreto o astratto, nelle parti che lo costituiscono, soprattutto a scopo di studio; si oppone a sintesi, e...
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à...