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
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 della Scienza e della Tecnica (2007)
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] L esisterà una sottostruttura elementare M(X) di M che estenderà X e avrà cardinalità k. Otteniamo così l' involucro di Skolem di X in M e la costruzione è utile quando si tratta di avere estensioni elementari con proprietà non elementari particolari ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
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
Löwenheim, Leopold
Enciclopedia on line
Logico tedesco (n. 1878 - m. 1957); docente in un liceo di Berlino, fu sospeso (1934) dall'insegnamento per motivi razziali, e poi reintegrato (1946). Ha dato contributi fondamentali alla logica, a cui [...] , allora ha un modello il cui dominio è al più numerabile. Questo risultato fu in seguito generalizzato da T. A. Skolem e prese il nome di teorema di L.-Skolem. Ha scritto anche: Einkleidung der Mathematik in Schröderschen Relativkalkül (1940). ...
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
categoricita
Enciclopedia della Scienza e della Tecnica (2008)
Categoricità
Silvio Bozzi
Concetto introdotto nel 1905 dal matematico Oscar Veblen e oggi al centro di gran parte dell’attuale teoria dei modelli. In termini generali, una teoria T formulata in un qualsiasi [...] cambia se si passa ai linguaggi elementari o a linguaggi più deboli del secondo ordine. Il teorema di Skolem stabilisce infatti che le uniche teorie elementari categoriche sono quelle che caratterizzano strutture finite di data cardinalità.
Risulta ...
Leggi Tutto
CATEGORIA:
ALGEBRA
lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] reali. Strumento base per provare la completezza, il metodo dell’eliminazione dei quantificatori è introdotto nel 1918 da Thoralf Skolem e poi applicato, prima dell’intervento di Tarski, da Cooper H. Langford (1927) a diverse teorie degli ordini e ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] del concetto d’interpretazione di un insieme di espressioni formalizzate in una struttura; la dimostrazione, data da T. Skolem nel 1934, della non caratterizzabilità dei numeri naturali nell’ambito della logica elementare mediante un insieme finito o ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
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 [...] egli doveva già aver preso visione di un altro risultato che sconvolgeva la sua concezione complessiva. Il teorema di Löwenheim-Skolem, stabilito nel 1920, mostrava infatti come ogni teoria T formulata nella logica del primo ordine che ha un modello ...
Leggi Tutto