Matematico (Varsavia 1882 - ivi 1969), prof. nell'univ. di Leopoli, poi di Varsavia; fondò la rivista Fundamenta mathematicae. Può essere considerato il principale esponente della scuola matematica polacca, [...] generale. Nel 1947 S. pubblicò la prima dimostrazione del fatto che l'ipotesi generalizzata del continuo implica l'assiomadellascelta. Importanti anche i suoi contributi alla critica dei fondamenti e alla teoria dei numeri. Socio straniero dei ...
Leggi Tutto
SKOLEM, Thoralf
Carlo Cattani
Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre [...] deduttivamente equivalente. In una seconda dimostrazione del teorema Löwenheim-S. (1929), viene data un'elegante formulazione dell'assiomadellascelta. Non ritenendo che la logica fosse una scienza assiomatica, S. pensava che la nozione di non ...
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 [...] i numeri interi (➔ transfinito). Il teorema del buon o. è equivalente all’assiomadelle infinite scelte arbitrarie (➔ Zermelo, Ernst) e al lemma di Zorn-Kuratowski (➔ scelta). O. filtrante (o preordine). Particolare o., per solito parziale, che ha ...
Leggi Tutto
LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] di P. J. Cohen nel 1963. Si tratta della nota dimostrazione d'indipendenza dell'assioma di scelta e dell'ipotesi generalizzata del continuo dagli ulteriori assiomidella teoria degl'insiemi, dimostrazione attinta originalmente mediante il ricorso ...
Leggi Tutto
Giochi, teoria dei
Roberto Lucchetti
Ogni essere vivente, quando deve prendere delle decisioni, lo fa sempre in modo interattivo: il risultato delle sue scelte, e quindi la sua soddisfazione, dipendono [...] primo tale che il risultato finale appartenga ad A. L'esistenza di tale insieme è dimostrabile attraverso l'uso dell'assioma di scelta e ha quindi relazioni interessanti con la teoria assiomatica degli insiemi. Si può inoltre dimostrare che nel caso ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] di Cohen è consistito nella costruzione di modelli di Zermelo-Fraenkel dove l'ipotesi del continuo e l'assiomadellascelta sono falsi. La tecnica introdotta da Cohen, detta forcing, è il più importante strumento usato per costruire modelli ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] ordinamento su ℝ.
Nel 1904 Ernst Zermelo (1871-1953) pubblicava un articolo in cui introduceva un nuovo principio chiamato assiomadellascelta (AS), dal quale egli dedusse il principio del buon ordinamento. La formulazione che Zermelo diede di AS fu ...
Leggi Tutto
Misura e integrazione
M. Evans Munroe
Introduzione
La nozione di integrale viene spesso introdotta considerando il problema di determinare l'area racchiusa da una curva, prendendo un limite di somme [...] . È stato dimostrato che l'esistenza di insiemi non misurabili secondo Lebesgue è logicamente equivalente all'assiomadellascelta.
Mediante il procedimento indicato dianzi si possono costruire molte altre misure specifiche. In generale, tutto ciò ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] ), la cui equivalenza risulterà dimostrabile solo ricorrendo all'"assiomadellascelta". Di rilievo sono anche i suoi studi sulla teoria della definizione, corredati da applicazioni alla teoria delle grandezze e a quelle dei numeri reali e complessi ...
Leggi Tutto
transfinito In matematica, che va al di là del finito. Numeri t. (o infiniti), numeri che estendono al caso di insiemi con infiniti elementi i concetti di numero cardinale e ordinale dell’aritmetica ordinaria [...] totale che si fonda sul seguente teorema enunciato da Cantor e dimostrato nella sua prima parte da E. Zermelo (sulla base dell’assiomadellascelta) nel 1904, e nella sua seconda parte da F. Bernstein nel 1897: dati due insiemi A, B è vera almeno una ...
Leggi Tutto
scelta
scélta s. f. [der. di scelto, part. pass. di scegliere]. – 1. a. Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una),...
padanista
s. m. e f. e agg. Chi o che sostiene l’autonomia della Padania. ◆ «Non leggo la Padania», sbuffa lui, «La verità è che non mi hanno lasciato scelta. La nostra gente mi conosce. Sa che io sono autonomista da sempre. Che ho creduto...