Lemma — may refer to: * Lemma (mathematics), a proven statement used as a stepping stone toward the proof of another statement * Lemma (linguistics), the canonical form of a word * Lemma (logic), which is simultaneously a premise for a contention above… … Wikipedia
Lemma — Lem ma (l[e^]m m[.a]), n.; pl. L. {Lemmata} ( m[.a]*t[.a]), E. {Lemmas} ( m[.a]z). [L. lemma, Gr. lh^mma anything received, an assumption or premise taken for granted, fr. lamba nein to take, assume. Cf. {Syllable}.] 1. (Math., Logic) A… … The Collaborative International Dictionary of English
LEMMA — An AIM project on methods and architectures for logic engineering in medicine … Glossary of the European Union and European Communities
lemma — n. (pl. mas, mata ) Logic, major premise; (argument or theme used as) the title of a composition; Lexicography, word considered as a headword, accompanied by all its inflected forms. Botany, flowering glume of grass … Dictionary of difficult words
Diagonal lemma — In mathematical logic, the diagonal lemma or fixed point theorem establishes the existence of self referential sentences in certain formal theories of the natural numbers specifically those theories that are strong enough to represent all… … Wikipedia
The Hardest Logic Puzzle Ever — is a title coined by George Boolos in La Repubblica 1992 under the title L indovinello più difficile del mondo for the following Raymond Smullyan inspired logic puzzle:Boolos provides the following clarifications:George Boolos, The Hardest Logic… … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
König's lemma — or König s infinity lemma is a theorem in graph theory due to Dénes Kőnig (1936). It gives a sufficient condition for an infinite graph to have an infinitely long path. The computability aspects of this theorem have been thoroughly investigated… … Wikipedia
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… … Wikipedia
Zorn's Lemma (film) — Infobox Film name = Zorn s Lemma caption = director = Hollis Frampton producer = writer = starring = music = cinematography = editing = distributor = released = runtime = 60 min. country = flagicon|USA USA awards = language = English budget =… … Wikipedia