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 [...] semantica sono catalogabili nella teoria dei modelli. Tra questi il teoremadiLöwenheim-Skolem, dimostrato in forma definitiva nel 1920; i teoremidi completezza e di incompletezza di K. Gödel; l’accurata precisazione, formulata da Tarski nel 1933 ...
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 [...] semantica delle teorie elementari (K. Gödel): Una fbf H di una teoria elementare è un teoremadi una teoria elementare se e solo se è vera in ogni modello della teoria. TeoremadiLöwenheim-Skolem: Se una teoria elementare ha un modello ne ha uno ...
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 [...] il fallimento del suo programma. Ma egli doveva già aver preso visione di un altro risultato che sconvolgeva la sua concezione complessiva. Il teoremadiLöwenheim-Skolem, stabilito nel 1920, mostrava infatti come ogni teoria T formulata nella logica ...
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 [...] , reduce dal suo decisivo contributo a quello che è attualmente noto come teoremadiLöwenheim-Skolem, interviene al V Congresso dei matematici scandinavi con un lavoro di grandi conseguenze, forse il primo non legato allo spirito ottocentesco, bensì ...
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 [...] Selskab (1962).
S. è ricordato soprattutto come autore di un fondamentale teorema della teoria cardinale degli universi, uno dei più importanti di tutta la logica, noto come teoremadiLöwenheim-S. (1920). Essenziali i suoi contributi in algebra ...
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] Teoremadi 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] Teoremidi L.-Skolem: v. logica: III 485 e. ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] fondamentale teoremadi Lindenbaum secondo cui ogni insieme consistente di proposizioni di quei risultati, concetti e metodi che costituivano di fatto il patrimonio di informazioni accumulate in un modo o nell'altro da figure come Löwenheim, Skolem ...
Leggi Tutto
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 diteoremadi L.-Skolem. Ha scritto anche: Einkleidung der Mathematik in Schröderschen Relativkalkül (1940). ...
Leggi Tutto