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
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
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, teoremadi: III 54 f. ◆ [...] [ALG] [FAF] TeoremidiLö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] 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