Talk:Emil Leon Post

Latest comment: 15 years ago by 69.228.171.150 in topic Anticipation of incompleteness theorem

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