Tarski Alfred
Tarski 〈tàrski〉 Alfred [STF] (Varsavia 1901, nat. SUA - Oakland 1983) Prof. di teoriadegliinsiemi nell'univ. di Varsavia (1925), poi di matematica nella Harvard Univ. (1939) e infine [...] nell'univ. della California di Berkeley (1945). ◆ [ALG] Teorema di T.: v. Gödel, teorema di: III 56 b ...
Leggi Tutto
biiezione
biiezióne [Comp. di bi- e (sur)iezione o (in)iezione] [ALG] (a) Nella teoriadegliinsiemi, applicazione f di un insieme P in un insieme Q che sia suriettiva e iniettiva, detta anche applicazione [...] biiettiva (→ applicazione). (b) Lo stesso che funzione biiettiva (→ biiettivo), corrispondenza biunivoca e permutazione ...
Leggi Tutto
numerosita
numerosità [Der. del lat. numerositas -atis, da numerosus "numeroso"] [LSF] L'essere costituito da molti elementi. ◆ [ALG] Nella teoriadegliinsiemi, sinon. di potenza (→ cardinalità). ...
Leggi Tutto
teoria dei semigruppi
Luca Tomassini
Un semigruppo è un insieme con una operazione binaria * (comunemente detta moltiplicazione) che soddisfi la proprietà associativa: a*(b*c)=(a*b)*c. Un semigruppo [...] di trasformazioni) e anche della teoria algebrica degli automi (semigruppi di automi). Un fatto, questo, che appare naturale a causa dell’enorme varietà di esempi di semigruppi tra i quali ricordiamo: insiemi ...
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 [...] coglie pertanto le proprietà comuni di tutti questi modelli. Altro esempio di s. ipotetico-deduttivo è la teoria assiomatica degliinsiemi, la quale in alcune esposizioni ha come unico concetto primitivo il significato della frase ‘è elemento di ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] m. ha ricevuto la definitiva sistemazione su cui si fondano le ricerche relative alla teoria assiomatica degliinsiemi (K. Gödel, A. Tarski, P. Cohen, D. Scott), alle logiche con espressioni di lunghezza infinita (A. Tarski, C.R. Karp), ai fondamenti ...
Leggi Tutto
(XIV, p. 132; App. III, i, p. 564; IV, i, p. 714; v. equazioni differenziali, App. V, ii, p. 131).
Il concetto generale di e. in matematica è trattato nella voce equazioni del vol. XIV dell'Enciclopedia [...] aveva data con la definizione degliinsiemi di perimetro finito: per ogni insieme misurabile E di Rn vale con le e. di Painlevé e sono meglio comprese nel contesto della presente teoria.
Abbiamo visto che ci sono due origini per le e. di Painlevé. ...
Leggi Tutto
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] gli insiemi dell'altra. Questi punti costituiscono l'insieme B, e sono disposti lungo le frontiere degliinsiemi delle propri; il concetto di gruppo semplice è l'equivalente nella teoria dei gruppi di quello di numero primo nell'aritmetica.Una tale ...
Leggi Tutto
L'Ottocento: matematica. Teoria dei numeri
Catherine Goldstein
Teoria dei numeri
Le tappe più significative dello sviluppo di un settore della scienza o dell'arte si accordano raramente con la suddivisione [...] era occupata degli interi naturali, talvolta dei razionali, mentre lo Zahlbericht considerava prevalentemente campi di numeri algebrici, ossia insiemi di particolari numeri complessi dotati di una struttura algebrica.
In secondo luogo, la teoria dei ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] Serre sui fasci coerenti e dalle successive estensioni di Grothendieck alla teoriadegli schemi. In queste idee è essenziale il ruolo della topologia di Zariski, in cui si definiscono insiemi chiusi di una varietà affine le varietà in essa contenute ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...