treccia Gruppo di tre ciocche di capelli lunghi che vengono tessute insieme passando alternatamente l’una sopra le altre così da riunirle in unico elemento dalla caratteristica forma ondulata; più genericamente, [...] . A); se poi si congiungono gli estremi ugualmente numerati (chiudendo il telaio a cilindro) si ha una t. chiusa (fig. B). Vale il teorema di J.W. Alexander (1923), secondo cui ogni nodo si può ridurre con una deformazione continua a una t. chiusa. ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] T sui r. si possono scambiare tra loro le due operazioni citate ottenendo un altro teorema T' anch'esso valido, detto teorema duale di T. Esempi di r. sono: (a) nell'aritmetica, i numeri naturali quando si assumano come "intersezione" e "unione ...
Leggi Tutto
Categoricità
Silvio Bozzi
Concetto introdotto nel 1905 dal matematico Oscar Veblen e oggi al centro di gran parte dell’attuale teoria dei modelli. In termini generali, una teoria T formulata in un qualsiasi [...] e definire k-categorica, dove k è un cardinale, ogni teoria i cui modelli di cardinalità k sono isomorfi. Un teorema fondamentale al riguardo, dimostrato nel 1965 da Michael Morley, stabilisce che ogni teoria elementare numerabile, se è categorica in ...
Leggi Tutto
ricorsivo
ricorsivo [agg. Der. di ricorrere: (→ ricorrente)] [LSF] Sinon. di ricorrente. ◆ [ALG] [INF] Algoritmo, o procedimento o procedura, r.: algoritmo che è formulato con esplicito riferimento a [...] funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione e induzione: v. complessità di calcolo: I 663 b. ◆ [ALG] Insiemi r.: v. Gödel, teorema di: III 57 b. ◆ [INF] Paradigma r.: v. algoritmi, teoria degli: I 102 c. ...
Leggi Tutto
Ricci Giovanni
Ricci Giovanni [STF] (Firenze 1904 - Milano 1973) Prof. di analisi matematica nell'univ. di Milano (1937). ◆ [RGR] Coefficienti di rotazione di R.: v. tetrade: VI 251 a. ◆ [RGR] Forma [...] generale: IV 790 c. ◆ [MCQ] Tensore di R.-Levi Civita: v. elettrodinamica quantistica: II 298 e. ◆ [ANM] Tensore dispari di R.: v. tensore: VI 128 f. ◆ [ANM] Tensore doppio di R.: v. tensore: VI 126 c. ◆ [ANM] Teorema di R.: v. tensore: VI 125 e. ...
Leggi Tutto
Loschmidt Johann Joseph
Loschmidt 〈lósmit〉 Johann Joseph (Putschirm, Boemia, 1821 - Vienna 1895) Prof. di chimica fisica nell'univ. di Vienna (1872). ◆ [CHF] [FML] Numero di L.: propr., il numero di [...] meccanica, se a un certo istante un insieme di particelle in moto subisse un'inversione delle velocità, ogni particella ripercorrerebbe gli stessi cammini con le stesse modalità, come se il tempo scorresse all'indietro, in contrasto con il teorema H. ...
Leggi Tutto
Complesso di norme che ordinano e disciplinano una determinata istituzione o attività.
Diritto
L’o. giuridico
Dell'o. giuridico si hanno sostanzialmente tre concezioni. La teoria normativa, che fa capo [...] all’affermazione di E. Zermelo (1904) che ogni insieme è suscettibile di un buon o. (teorema del buon o.). Accettando tale teorema, si può estendere l’ordinario procedimento di induzione matematica (completa) valido per i numeri interi (➔ transfinito ...
Leggi Tutto
Gli sviluppi dell'algebra generale, o astratta, che ormai può denominarsi a. senz'altro (il termine "a. moderna" tende a cadere in disuso), sono stati così vasti e varî negli ultimi anni da far parlare [...] il caso di un anello di Lie senza operatori, ed estendono il teorema di G. Birkhoff e E. Witt (1937) per il quale ogni scritte segue la [x, y, x] = 0, e, per un teorema di Artin, l'associatività del subanello generato da una coppia). Si chiama corpo ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] usando il computer U. H(X) è definita come la lunghezza in bit del più breve programma che fa sì che U generi l'insieme di teoremi X. Si noti che questa è un'elaborazione che non ha termine. Si può pensare a H(X) come al numero di bit di informazione ...
Leggi Tutto
COMESSATTI, Annibale
Nicoletta Janiro
Nacque a Udine il 30 gennaio del 1886 da Pietro e da Amelia de Poli; frequentò la università di Padova dove si laureò nel 1908 con una tesi sulle curve algebriche [...] dell'uniformizzante su f e quello della rappresentazione multipla di c su f (cfr. Le involuzioni nelle curve algebriche ed il teorema generale di diramazione per le funzioni fuchsiane, in Memorie d. R. Acc. naz. d. Lincei, cl. di sc. mat., fis. e ...
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...