Skolem Thoralf Albert
Skolem 〈skùulem〉 Thoralf Albert [STF] (Sandsvær 1887 - Oslo 1963) Prof. di matematica nell'univ. di Oslo (1938). ◆ [ALG] [FAF] Paradosso di S.: v. Gödel, teorema di: III 54 f. ◆ [...] [ALG] [FAF] Teoremi di Löwenheim-S.: v. logica: III 485 e ...
Leggi Tutto
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
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
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
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] anche se con notevoli connessioni fra loro. Per le algebre associative è particolarmente notevole la teoria di Skolem-Noether sul doppio centralizzante e sugli automorfismi delle algebre semisemplici, grazie alla quale si evidenzia una stretta ...
Leggi Tutto
La grande scienza. Teoria dei numeri
Anatolij A. Karatsuba
Teoria dei numeri
La teoria dei numeri o, adottando una locuzione di Carl Friedrich Gauss (1777-1855), l'aritmetica superiore, è lo studio [...] in x1,…,xm che si fattorizza in fattori lineari in un'estensione del campo dei numeri razionali (Albert Thoralf Skolem, Wolfgang Schmidt).
Indipendentemente dalla teoria delle equazioni diofantee si sviluppava lo studio che proseguiva le ricerche di ...
Leggi Tutto