Lindenbaum
1Lindenbaum — is a surname, meaning Tilia in German; the nearest British tree name is Lime tree. It may refer to:* Adolf Lindenbaum, Polish mathematician ** Lindenbaum s lemma ** Lindenbaum–Tarski algebra * John Lindenbaum, musician * Der Lindenbaum one of the …
2Lindenbaum — ist ein Baum aus der Gattung der Linden (Botanik) der Name, unter dem die Eschersheimer Linde bekannt ist der Familienname von: Walter Lindenbaum (1907–1945), österreichischer Journalist und Autor Adolf Lindenbaum (1904–1941), polnischer Logiker… …
3Lindenbaum–Tarski algebra — In mathematical logic, the Lindenbaum Tarski algebra A of a logical theory T consists of the equivalence classes of sentences p of the theory, under the equivalence relation defined by: p q when p and q are logically equivalent in T .That is, in… …
4Lindenbaum's lemma — In mathematical logic, Lindenbaum s lemma states that any consistent theory of predicate logic can be extended to a complete consistent theory. It is used in the proof of Gödel s completeness theorem, among other places. The lemma is a special… …
5Lindenbaum, der — Der Lindenbaum, des es, plur. die bäume, siehe die Linde …
6Lindenbaum — Linde * * * Lịn|den|baum 〈m. 1u〉 = Linde * * * Lịn|den|baum, der: ↑ Linde (1). * * * Lịn|den|baum, der: ↑Linde (1) …
7Lindenbaum — Recorded in over forty spelling forms ranging from Lind, Linde, Linden, and Line or Lyne, to Lingner, Verlinden, Van Lint, Terlinden and Lindman, this famous surname is of Germanic pre 7th century origins. It has two possible sources. Firstly,… …
8Lindenbaum — Lịn|den|baum …
9Der Lindenbaum — Bildpostkarte von Hans Baluschek (1870 1935) Am Brunnen vor dem Tore ist der erste Vers eines deutschen Liedes, das sowohl in Form eines Kunstlieds als auch in Form eines Volkslieds bekannt geworden ist. Der Titel lautet Der Lindenbaum. Meist… …
10Algèbre de Lindenbaum — L algèbre de Lindenbaum d une théorie est l ensemble des classes d équivalence de ses théorèmes. Munie des conjonction, disjonction et négation (qui sont compatibles avec l équivalence logique), c est une algèbre de Boole. Elle a été construite… …
