Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] assegni a ogni insieme in S un elemento di quell'insieme. Utilizzando questo assioma Zermelo fu in grado di dimostrare il ‛teoremadelbuonordinamento', che stabilisce che ogni insieme A (per esempio l'insieme dei numeri reali) può essere totalmente ...
Leggi Tutto
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), ritenendola migliore, più adatta [...] , possiede almeno un elemento massimale). Nel 1915 F. Hartogs dimostrò l’equivalenza dell’assioma di s., delteoremadelbuonordinamento e delteorema di confrontabilità (se un insieme A non è equipotente a un sottoinsieme di un insieme B, allora ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] Burali-Forti nella dimostrazione e altre connesse con la definibilità. Nel 1908 Zermelo proporrà un'altra dimostrazione delteoremadelbuonordinamento e risponderà alle obiezioni che gli erano state mosse nel frattempo.
L'antinomia di Burali-Forti ...
Leggi Tutto
LEVI, Beppo
Salvatore Coen
Nacque a Torino il 14 maggio 1875 da Giulio Giacomo e Sara Diamantina (Mentina) Pugliese. Presso l'Università di Torino compì i suoi studi fino al conseguimento della laurea [...] della partizione. Dal momento che l'enunciazione dell'assioma della scelta insieme con il teoremadelbuonordinamento di E. Zermelo seguono di circa un biennio l'osservazione del L., vi fu chi vide nel L. un anticipatore dell'assioma della scelta ...
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 [...] sia un buonordinamento (problema delbuon o. del continuo) ha suscitato vivaci discussioni tra i matematici al principio del 20° sec., in seguito all’affermazione di E. Zermelo (1904) che ogni insieme è suscettibile di un buon o. (teoremadelbuon o ...
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 [...] della scelta (AS), dal quale egli dedusse il principio delbuonordinamento. La formulazione che Zermelo diede di AS fu che degli insiemi di Zermelo, e per tale T il teorema di Gödel sulla indimostrabilità della coerenza costituisce un ostacolo ...
Leggi Tutto
Zermelo Ernst
Zermelo 〈zèrmëlo〉 Ernst [STF] (Berlino 1871 - Friburgo 1953) Prof. di matematica nell'univ. di Zurigo (1910). ◆ [ALG] Postulato di Z. o assioma della scelta: già formulato in precedenza [...] di Z. inteso come possibilità di infinite scelte arbitrarie. ◆ [ALG] Teorema di Z. o delbuonordinamento: ogni insieme può essere ben ordinato. La dimostrazione data da Z. di questo teorema nel 1904 si fonda sull'assioma della scelta; nel 1915 F ...
Leggi Tutto
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] . Gli statistici classici rifiutano l'uso delteorema di Bayes a causa dell'interpretazione che )
Entrambe queste varianze dipendono dalla matrice di ordine (p × p) (X′X)−1 e suggeriscono che un buon esperimento è tale se rende piccola questa matrice ...
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 [...] diminuiscono il rischio di infarto.
1965
Il teoremadel valor medio di Bombieri. Enrico Bombieri, ottengono risultati in buon accordo con quelli relazionale è simile a un modello per la logica del primo ordine: c'è un insieme di individui e un certo ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] , si traduce nella pratica matematica del giovane Hilbert, quando nel 1890 dimostra il fondamentale teorema della base, cioè il fatto elemento? In altre parole, si può trovare un buonordinamento per il continuo?
La questione posta da Hilbert si ...
Leggi Tutto
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...