La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] si erano spinti oltre, ponendo le basi della teoriadegliinsiemi infiniti. Nel 1900 la teoriadegliinsiemi di Cantor o, più precisamente, quella parte della teoria che aveva a che fare con gli insiemi di punti, era stata generalmente ben accolta in ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola matematica di Mosca
Sergej Sergeevic Demidov
La scuola matematica di Mosca
La matematica a San Pietroburgo e a Mosca
Nella seconda [...] Uspenskij (1883-1947) in una lettera del 1926 scriveva di Luzin: "So che è un bravo specialista nel suo campo (la teoriadegliinsiemi e tutte le sciocchezze di Cantor e Lebesgue a essa legate), è un brillante professore, che ha creato a Mosca una ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La rinascita degli studi geometrici nel mondo latino
Menso Folkerts
La rinascita degli studi geometrici nel mondo latino
La tradizione [...] Aristotele. Inoltre, le riflessioni sulle questioni relative alla continuità anticiparono i paradossi della teoriadegliinsiemi. Si può anche ricordare la teoria delle latitudini delle forme, che culmina nel cosiddetto 'teorema di Merton', ovvero in ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I luoghi e le istituzioni
Umberto Bottazzini
I luoghi e le istituzioni
Nei decenni che separano l'ultimo quarto del XIX sec. dalla Seconda guerra [...] a ricerche di analisi funzionale, cui fa seguito una serie di monografie su questioni avanzate di analisi, topologia e teoriadegliinsiemi. Sotto la guida di Steinhaus e Banach fiorisce a L′vov una straordinaria scuola di matematici, in cui si ...
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, [...] cose che non possono essere ottenute mediante calcolo, facendo un uso brillante del procedimento diagonale di Cantor, usato in teoriadegliinsiemi, che egli applica all'elenco di tutti i numeri reali calcolabili. In tal modo Turing ottiene un numero ...
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- [...] soli sottogruppi normali; in entrambi i casi l'intersezione G₁⋂G₂ di due sottogruppi coincide con l'intersezione nel senso della teoriadegliinsiemi, mentre l'unione G₁⋃G₂ va intesa come il sottogruppo generato dagli elementi di G₁ e da quelli di G ...
Leggi Tutto
prodotto
prodótto [Part. pass. sostantivato di produrre, der. del lat. producere "portare avanti", comp. di pro- "davanti" e ducere "condurre"] [LSF] Generic., il risultato di qualcosa, spec. di un'attività, [...] ] l'operazione AND (v. circuiti logici: I 618 Tab. 1.1); (b) [ALG] espressione, quasi desueta, per indicare l'intersezione nella teoriadegliinsiemi e la congiunzione nella logica matematica. ◆ [ALG] P. misto: la grandezza scalare che risulta dal-l ...
Leggi Tutto
Formalizzazione della vaghezza
Settimo Termini
Il problema della formalizzazione della vaghezza pone domande innovative al confine tra problemi concettuali e problemi tecnici. In particolare ci chiediamo [...] espulsa da Gottlob Frege dal dominio della logica). Si ha l’impressione che l’impostazione data dalla teoriadegliinsiemi fuzzy al problema della formalizzazione della vaghezza abbia ottenuto vari risultati riuscendo a sfuggire a varie difficoltà ...
Leggi Tutto
insieme fuzzy
Settimo Termini
Sia X un insieme arbitrario e I l’intervallo [0,1] della retta reale. Un insieme fuzzy è una qualsiasi funzione f:X→I da X ad I. Il nome insieme fuzzy dato a queste applicazioni [...] complemento algebrico di f e possiamo concludere che ℒ(X) è un reticolo distributivo ma non complementato. La teoriadegliinsiemi fuzzy è stata formulata da Zadeh in termini delle operazioni di unione, intersezione e negazione descritte prima, alle ...
Leggi Tutto
universo
univèrso [Der. del lat. universum, neutro sostantivato dell'agg. universus; nell'uso astronomico è nome proprio e quindi ha l'iniziale maiusc.] [ASF] L'insieme dei corpi celesti e dello spazio [...] : VI 419 f. ◆ [ALG] [FAF] Insieme u.: nella teoriadegliinsiemi e nella logica matematica, l'insieme agli elementi del quale si applica l'operazione o la teoria considerata, in partic. un'operazione o una teoria logica. ◆ [ASF] [RGR] Modelli di U ...
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...