Lindenbaum Adolf

Dizionario delle Scienze Fisiche (1996)

Lindenbaum Adolf


Lindenbaum 〈lìndënbaum〉 Adolf [STF] (Varsavia 1904 - m. in un campo di concentramento nazista, forse nel 1942). ◆ [ALG] Algebre di L.: algebre associabili a vari tipi di sistemi formali. ◆ [ALG] Teorema, o lemma, di L.: afferma che ogni teoria non contraddittoria ammette un'estensione nello stesso linguaggio non contraddittoria e completa.

Vedi anche
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 ... contraddizione Come termine specifico di logica, la contraddizione è il rapporto vigente tra un’affermazione e una negazione di egual soggetto e di egual predicato. In questa antitesi, vero essendo un termine, l’altro deve essere falso ( principio di contraddizione). ● La prima rigorosa formulazione del principio ... algebra Uno dei rami fondamentali delle scienze matematiche: in senso lato l’algebra studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. Con significato specifico è sinonimo di sistema ipercomplesso. ● La parola al-giabr è usata ... Varsavia (pol. Warszawa) Città capitale della Polonia (1.711.466 ab. nel 2009; 2.225.000 ab. considerando l’intera agglomerazione urbana). Sorge in un punto in cui si raccordano vie commerciali e di comunicazione storiche e attuali, sulle due rive della Vistola, lungo le quali si dispongono i quartieri residenziali ...
Categorie