Talk:Post's theorem

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Start Class	Mid Priority	Field: Foundations, logic, and set theory
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Geometry guy 23:21, 10 July 2007 (UTC)

[edit] Comments 2006-10-25

The article has been sitting in a half-finished state for a while. I expanded it and set it up for further improvement.

• This article needs to be at an undergraduate level at the highest
• More references, especially at the undergrad level, are needed
• The notation should be kept as simple as possible (but not more simple than that).
• I think that a proof would be nice, and the proof is elementary anyway.
• More corollaries would be good.

CMummert 13:42, 25 October 2006 (UTC)

[edit] Quantifier Blocks

I believe the 'alternative' definition I added using quantifier blocks and bounded quantifiers should probably be the primary definition. However, I don't remember and need to get back to working on my thesis.Logicnazi (talk) 02:46, 24 November 2007 (UTC)