Talk:Emil Leon Post

	Biography portal This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography articles
	This article is supported by the science and academia work group.

Philosophy: Philosophers / Logic / Contemporary Mid‑importance

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles

Mid

This article has been rated as Mid-importance on the project's importance scale.

Associated task forces:
/
	Philosophers
	Logic
	Contemporary philosophy

Poland Low‑importance

	Poland portal This article is within the scope of WikiProject Poland, a collaborative effort to improve the coverage of Poland on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.PolandWikipedia:WikiProject PolandTemplate:WikiProject PolandPoland articles
Low	This article has been rated as Low-importance on the project's importance scale.

United States Low‑importance

	United States portal This article is within the scope of WikiProject United States, a collaborative effort to improve the coverage of topics relating to the United States of America on Wikipedia. If you would like to participate, please visit the project page, where you can join the ongoing discussions. Template Usage Articles Requested! Become a Member Project Talk Alerts United StatesWikipedia:WikiProject United StatesTemplate:WikiProject United StatesUnited States articles
Low	This article has been rated as Low-importance on the project's importance scale.

Functional completeness[edit]

I don't have all the info, but I know that Post discovered that a functionally complete set of logical connectives has one member that does not possess one of five qualities for each of the five qualities. The qualities are: self-dual, monotonicity, linear, truth-preserving, falsehood-preserving. It is sometimes called adequacy of logical operators, Post functional completeness, or truth functional completeness. Gregbard 02:29, 8 July 2007 (UTC)[reply]

Anticipation of incompleteness theorem[edit]

For possible use in article:

Emil Post and His Anticipation of Gödel and Turing

John Stillwell

Mathematics Magazine, Vol. 77, No. 1 (Feb., 2004), pp. 3-14

69.228.171.150 (talk) 21:40, 7 November 2009 (UTC)[reply]