Lindenbaum'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 case of the ultrafilter lemma for Boolean algebras, applied to the Lindenbaum algebra of a theory.

The effective version of the lemma's statement, "every consistent computably enumerable theory can be extended to a complete consistent computably enumerable theory," fails by Gödel's incompleteness theorem.

External links

* [ University of Texas, A Causal Theory of Modal Knowledge (Including Logical and Mathematical Knowledge]

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Lindenbaum — 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 …   Wikipedia

  • Adolf Lindenbaum — (12 juin 1904 à Varsovie, dans l Empire russe (actuellement en Pologne) – 1941 à Paneriai (en)), est un logicien et mathématicien juif polonais lié à l École de Lvov Varsovie. Il fut élève de Wacław Sierpiński, se distingua par ses travaux… …   Wikipédia en Français

  • Adolf Lindenbaum — (June 12, 1904 in Warsaw, Russian Empire (now Poland) – 1941 in Paneriai), was a Polish logician and mathematician.He was a student of Wacław Sierpiński, became a distinguished author of works on set theory and had served as an Assistant… …   Wikipedia

  • Adolf Lindenbaum — (* 12. Juni 1904 in Warschau; † September 1941 in Paneriai) war ein polnischer Logiker und Mathematiker jüdischer Abstammung, der mit der Lemberg Warschau Schule verbunden war. Er studierte Mathematik bei Wacław Sierpiński, seine… …   Deutsch Wikipedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • List of lemmas — This following is a list of lemmas (or, lemmata , i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. 0 to 9 *0/1 Sorting Lemma ( comparison… …   Wikipedia

  • Liste de lemmes (mathématiques) — Liste de lemmes mathématiques par ordre alphabétique. En mathématiques, un lemme est un énoncé prouvé, mais jugé moins important que ce qu on appelle un théorème, qu il sert généralement à établir au cours d une démonstration. Néanmoins cette… …   Wikipédia en Français

  • Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… …   Wikipedia

  • Am Brunnen vor dem Tore — 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 ursprüngliche Titel lautet Der… …   Deutsch Wikipedia

  • Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.