Kutta Martin Wilhelm
Kutta 〈kùta〉 Martin Wilhelm [STF] (Pitschen 1867 - Fürstenfeldbruck 1944) Prof. di matematica nel politecnico di Monaco di Baviera (1907), poi in quello di Aquisgrana (1909) e infine [...] di K.: v. aerodinamica subsonica: I 68 e. ◆ [ANM] Metodi di Runge-K.: v. calcolo numerico: I 409 f. ◆ [MCF] Teorema di K.-ZŠukovskij, o teorema della portanza (stabilito nel 1902 da K. in Germania e, autonomamente, da N.E. ZŠukovskij in Russia): v ...
Leggi Tutto
Dyson Freeman John
Dyson 〈dàisn〉 Freeman John [STF] (n. Gowthorne, Inghilterra, 1923, nat. SUA) Prof. di fisica nella Cornell Univ. (1951) e poi membro dell'Institute for advanced study, a Princeton [...] (1953). ◆ [FSD] Equazione di D.: v. solidi, effetti a molti corpi nei: V 340 f. ◆ [MCS] Teorema di D.-Lenard: → potenziale: P. stabile. ...
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
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] aritmetica, ha densità asintotica nulla. Tale importante risultato è stato in seguito migliorato da Roth stesso e da E. Szemerédi.
I Teoremi A e B. H. Cartan dimostra che per un qualsiasi fascio analitico coerente F su uno spazio di Stein X si ha ...
Leggi Tutto
Fuchs Immanuel Lazar
Fuchs 〈fuks〉 Immanuel Lazar [STF] (Posen, 1833 - Berlino 1902) Prof. di matematica nelle univ. di Heidelberg (1875) e Berlino (1884); socio straniero dei Lincei (1883). ◆ [PRB] Criterio [...] di Chung e F.: v. cammini aleatori: I 465 f. ◆ [ANM] Funzione di F.: → fuchsiano: Funzione fuchsiana. ◆ [ANM] Teorema di F.: dà la condizione necessaria e sufficiente perché un'equazione differenziale di ordine n abbia n integrali distinti. ...
Leggi Tutto
Nikodym Otton Martia
Nikodym 〈nikodàim〉 Otton Martia [STF] (Zablotow 1887, nat. SUA - Dolegstown, Pennsylvania, 1974) Prof. di matematica nell'univ. di Cracovia (1927), nel politecnico di questa città [...] (1944), nell'istituto M. Poincaré di Parigi (1947) e infine nel Kenyon College di Gambier, Ohio (1948). ◆ [ANM] Derivata e teorema di N.-Radon: v. misura e integrazione: IV 4 f. ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] vero quando A è falso o B è vero. Il senso implicativo di A⊃B in realtà emerge solo quando A⊃B è un teorema della logica di riferimento, nel qual caso si può applicare la regola del modus ponens che consente di inferire la conclusione B dall'ipotesi ...
Leggi Tutto
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] l’attenzione sul problema di cosa sia una dimostrazione. La storia ha un risvolto ironico: in una nuova prova del teorema dovuta a Neil Robertson, Daniel P. Sanders, Paul D. Seymour e Robin Thomas, gli autori sostituiscono il procedimento a mano ...
Leggi Tutto
ARZELÀ, Cesare
Nicola Virgopia
Nacque a S. Stefano di Magra (La Spezia) il 6 marzo 1847, da modesta famiglia. Compì i primi studi al ginnasio di Sarzana e poi, come borsista, al liceo di Pisa. Allievo [...] d. Accad. d. scienze di Bologna, s. 5, VIII (1899), parte I, pp. 131-186; IX (1900) parte 2, pp. 701-744; Sul secondo teorema della media per gli integrali doppi, ibid.,s. 5, X (1902), pp. 99-109; Sulle serie di funzioni variabili reali, in Rendic. d ...
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
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...