La seconda rivoluzione scientifica: matematica e logica. Calcolo delle variazioni
Craig Fraser
Mario Miranda
Calcolo delle variazioni
Tra il 1870 e il 1920 si assiste al consolidamento degli argomenti [...] e in ogni codimensione. Per la codimensione uno, in ogni dimensione, la teoria più semplice ed efficace è quella dovuta a De Giorgi. Si tratta della teoriadegliinsiemi di perimetro finito, presentata negli anni 1954-1955 e applicata subito dopo con ...
Leggi Tutto
insieme
Walter Maraschini
Collettività alla base della matematica d'oggi
Una foresta è un insieme di alberi; la folla sugli spalti di uno stadio è un insieme di persone; un gregge o una mandria sono [...] del barbiere
Agli inizi del 20° secolo il matematico e filosofo Bertrand Russell ha messo in crisi la teoriadegliinsiemi, sulla quale si stava costruendo l'edificio della matematica. Egli infatti vi ha trovato una contraddizione poi illustrata ...
Leggi Tutto
continuita
continuità [Der. di continuo "l'essere continuo", nei vari signif. di questo termine] [LSF] Sulla base delle teorie quantistiche, per le quali i corpi sono sostanzialmente discontinui, la [...] carica quando è presente l'energia di rete. ◆ [ALG] Postulato di c.: nella teoriadegliinsiemi (e in partic. nelle sue applicazioni alla geometria e alla teoria dei numeri), postulato fondato su due proprietà che possono essere enunciate in maniera ...
Leggi Tutto
notazione
notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] convenzionali o comunque non connesse a una precisa regola di scomposizione dei numeri. ◆ [STF] [ALG] [FAF] Nella teoriadegliinsiemi e nella logica matematica vi fu la tendenza (G. Peano) a introdurre una particolare n., includente pressoché tutte ...
Leggi Tutto
Diritto
Istituto del diritto civile che prevede, ove le cose restino separabili, ancorché unite, il diritto per ciascun proprietario a conservare il diritto di proprietà e la possibilità di chiedere la [...] di u., complemento affine a quello di compagnia, ma costituito dal nome di un oggetto anziché da un nome di persona.
Matematica
Nella teoriadegliinsiemi, dati due insiemi A e B, si chiama u. (o, meno comunemente, somma logica) di A e B l ...
Leggi Tutto
tricotomia botanica Tipo di ramificazione a cima, nel quale l’asse principale reca 3 rami sottostanti all’apice, che termina con un fiore o con un’infiorescenza (per es., nell’oleandro) o con una gemma [...] b, a=b, a<b, dove a e b sono numeri reali). Il termine è usato, in particolare, nella teoriadegliinsiemi per esprimere che, nel confronto tra due insiemi E e I, vi sono solo 3 casi possibili, che si escludono a vicenda: a) I ed E hanno la stessa ...
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
permanenza
permanènza [Der. di permanente "atto ed effetto del permanere"] [ALG] In una successione di numeri relativi, in partic. in un'equazione algebrica ordinata, il susseguirsi di due termini aventi [...] lo stesso segno. ◆ [ALG] Principio della p.: nella teoriadegliinsiemi, principio in base al quale ogni volta che si amplia un insieme (per es., si passa dall'insieme dei numeri naturali a quello dei numeri razionali) si conservano le proprietà ...
Leggi Tutto
Bourbaki Nicolas
Bourbaki 〈burbakì〉 Nicolas [ALG] [ANM] Pseudonimo sotto il quale un gruppo di matematici francesi (tra cui H. Cartan, C. Chevalley, J. Dieudonné, A. Weil) a partire dal 1939 iniziò a [...] , cioè una sintesi dei suoi diversi rami analizzandone le strutture fondamentali profondamente connesse, partendo dalla teoriadegliinsiemi, dall'algebra astratta e dalla topologia generale; tale movimento di pensiero matematico è detto bourbakismo ...
Leggi Tutto
Internal Set Theory
Internal Set Theory (IST) 〈intèrnal sèt tìori〉 [ANM] Denomin. ingl. della teoriadegliinsiemi interna: v. analisi non standard: I 148 a. ...
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...