Cerca in:
Skolem, Thoralf
Enciclopedia on line
Logico e matematico (Sandsvär 1887 - Oslo 1963). Prof. a Bergen e a Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degli insiemi; ha dimostrato per primo che nessun insieme finito o numerabile di assiomi esprimibile nella logica elementare è capace di definire la teoria dei numeri in modo da caratterizzarla completamente. Tra le opere: Einige Bemerkungen zur axiomatischen ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
paradosso
Enciclopedia on line
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] , perché l’unico che può svegliare altri è lui stesso.
Per il p. di Cantor ➔ Cantor, Georg; per quello di Skolem ➔ Skolem, Thoralf.
Classificazione dei p. e soluzione dei p. linguistici
E.W. Beth ha distinto dai p. gli pseudoparadossi come quello ...
Leggi Tutto
Skolem, teorema di
Enciclopedia della Matematica (2013)
Skolem, teorema di
Skolem, teorema di → Löwenheim-Skolem, teorema di. ...
Leggi Tutto
Lowenheim-Skolem, teorema di
Enciclopedia della Matematica (2013)
Lowenheim-Skolem, teorema di
Löwenheim-Skolem, teorema di riportato anche come teorema di Skolem (dal nome, oltre che di L.L. Löwenheim, anche del logico e matematico norvegese T.A. Skolem) afferma che [...] di un modello numerabile per una teoria che asserisce l’esistenza di un insieme più che numerabile (paradosso di Skolem). Secondo Skolem, il paradosso scompare quando si consideri la cardinalità come relativa a un sistema di assiomi: per una data ...
Leggi Tutto
Lowenheim
Enciclopedia della Matematica (2013)
Lowenheim
Löwenheim Leopold (Krefeld, Renania Settentrionale-Vestfalia, 1878 - Berlino 1957) matematico tedesco. È noto soprattutto per i suoi lavori di logica matematica; a lui si deve la prima dimostrazione [...] (nel 1915) del teorema oggi conosciuto come teorema di Löwenheim-Skolem, di fondamentale importanza per la teoria dei modelli in logica. Studiò matematica e scienze naturali alla università Friedrich-Wilhelm di Berlino e, contemporaneamente, alla ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Storia della Scienza (2004)
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 [...] teoria degli insiemi e di V=L. L'insieme a non appartiene a M, ma è contenuto in M (il problema di Skolem di aggiungere a un modello un insieme che non vi appartenga). La tecnica di definizione dell'estensione non cambia, l'estensione viene definita ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
MODELLI, Teoria dei
Enciclopedia Italiana - IV Appendice (1979)
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] poste già precedentemente. Infatti, un primo contributo fondamentale al riguardo si rivela identificabile col teorema di Löwenheim-Skolem, stabilito e quindi generalizzato durante gli anni 1915-20: una formula del calcolo dei predicati ristretto ...
Leggi Tutto
Lowenheim Leopold
Dizionario delle Scienze Fisiche (1996)
Lowenheim Leopold
Löwenheim 〈lö´vënhàim〉 Leopold [STF] (Krefeld 1878 - Berlino 1940) Prof. di matematica nel liceo di Berlino-Lichtenberg. ◆ [ALG] [FAF] Teorema di L.: un'espressione in cui non occorrono [...] variabili predicative poliadiche, ma solo k monadiche, ammette un modello se e solo se ne ammette uno di cardinalità 2k. ◆ [ALG] [FAF] Teoremi di L.-Skolem: v. logica: III 485 e. ...
Leggi Tutto
Zermelo-Fraenkel, teoria di
Enciclopedia della Matematica (2013)
Zermelo-Fraenkel, teoria di
Zermelo-Fraenkel, teoria di sistema di assiomi per la teoria degli → insiemi, noto anche come teoria ZF, logicamente equivalente a un’altra sistemazione assiomatica indicata [...] fu proposta per la prima volta da E. Zermelo nel 1908 e fu successivamente perfezionata da A. Fraenkel e T.A. Skolem; sua caratteristica principale è quella di seguire la prassi matematica secondo la quale gli insiemi con cui si lavora sono di fatto ...
Leggi Tutto
La logica nel Novecento
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] (1878-1957) nel 1915 nella memoria Über Möglichkeiten im Relativkalkül (Sulle possibilità nel calcolo dei relativi), e poi generalizzato da Thoralf Skolem (1887-1963) nel 1920 e nel 1922; esso afferma che se un insieme di enunciati del primo ordine è ...
Leggi Tutto