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.

Vedi anche
Thoralf Skolem Skolem ‹skóolëm›, Thoralf. - 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 ... bicondizionale In logica matematica, la connessione p ↔ q di due enunciati p e q, che è vera se e solo se essi sono entrambi veri o entrambi falsi. cardinalità cardinalità Nella teoria degli insiemi, cardinalita (o potenza) di un insieme è il numero degli oggetti di un insieme finito (numero cardinale). Si può estendere il concetto di cardinalita anche a insiemi infiniti: due insiemi hanno la stessa cardinalita quando è possibile stabilire tra gli oggetti che ... teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. In un sistema assiomatico moderno la distinzione fra teorema e assiomi non è però netta e assoluta in ...
Categorie
Vocabolario
leopoldismo
leopoldismo (Leopoldismo) s. m. (iron.) Per metonimia topografica, il fenomeno politico e mediatico degli incontri che fanno riferimento a Matteo Renzi, organizzati presso la stazione Leopolda di Firenze. ♦ Il Pdl non esiste più. Gli eredi...
leopòldo
leopoldo leopòldo s. m. – In numismatica, nome dello scudo da 10 paoli (detto anche francescone) coniato in Toscana, nel periodo del loro granducato, da Pietro Leopoldo (1765-90) e Leopoldo II (1824-59).