Talk:Emil Leon Post

Functional completeness
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)

Anticipation of incompleteness theorem
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)