Talk:Emil Leon Post
Appearance
This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
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)
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
Categories:
- C-Class biography articles
- C-Class biography (science and academia) articles
- Unknown-importance biography (science and academia) articles
- Science and academia work group articles
- WikiProject Biography articles
- C-Class Philosophy articles
- Mid-importance Philosophy articles
- C-Class philosopher articles
- Mid-importance philosopher articles
- Philosophers task force articles
- C-Class logic articles
- Mid-importance logic articles
- Logic task force articles
- C-Class Contemporary philosophy articles
- Mid-importance Contemporary philosophy articles
- Contemporary philosophy task force articles
- C-Class Poland articles
- Low-importance Poland articles
- WikiProject Poland articles
- C-Class United States articles
- Low-importance United States articles
- C-Class United States articles of Low-importance
- WikiProject United States articles