teorema-di-löwenheim-skolem: documenti, foto e citazioni nell'Enciclopedia Treccani

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 [...] infiniti di cardinalità maggiore di quella numerabile, il teorema sembra comportare, paradossalmente, l’esistenza di un modello numerabile per una teoria che asserisce l’esistenza di un insieme più che numerabile (paradosso di Skolem). Secondo Skolem ... Leggi Tutto

Skolem, teorema di

Enciclopedia della Matematica (2013)

Skolem, teorema di Skolem, teorema di → Löwenheim-Skolem, teorema di. ... Leggi Tutto

SKOLEM, Thoralf

Enciclopedia Italiana - V Appendice (1994)

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 teorema di Löwenheim-S. (1920). Essenziali i suoi contributi in algebra ... Leggi Tutto

TAGS: TEORIA DEGLI INSIEMI – CHRISTIAN MICHELSEN – TEORIA DEI MODELLI – TEORIA DEI NUMERI – LUCE ZODIACALE

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

TAGS: RENANIA SETTENTRIONALE-VESTFALIA – TEOREMA DI LÖWENHEIM-SKOLEM – TEORIA DEGLI INSIEMI – TEORIA DEI MODELLI – 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 [...] semantica sono catalogabili nella teoria dei modelli. Tra questi il teorema di Löwenheim-Skolem, dimostrato in forma definitiva nel 1920; i teoremi di completezza e di incompletezza di K. Gödel; l’accurata precisazione, formulata da Tarski nel 1933 ... 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

TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM

LOGICA MATEMATICA

Enciclopedia Italiana - IV Appendice (1979)

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 teorema di una teoria elementare se e solo se è vera in ogni modello della teoria. Teorema di Löwenheim-Skolem: Se una teoria elementare ha un modello ne ha uno ... Leggi Tutto

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – TEORIA DEI MODELLI

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 [...] il fallimento del suo programma. Ma 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 ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

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 [...] la cosiddetta teoria dei modelli che è alla base di un altro teorema di enorme portata. Si tratta del cosiddetto teorema di Löwenheim-Skolem, anticipato da Leopold Löwenheim (1878-1957) nel 1915 nella memoria Über Möglichkeiten im Relativkalkül ... Leggi Tutto

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. [...] a esser 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 ... Leggi Tutto

TAGS: TEORIA DELLA DIMOSTRAZIONE – SIMILITUDINE GEOMETRICA – TEOREMA DI COMPATTEZZA – NUMERI INTERI RELATIVI – TEORIA DEI MODELLI

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 [...] , reduce dal suo decisivo contributo a quello che è attualmente noto come teorema di Lö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

CATEGORIA: STORIA DELLA MATEMATICA