Talk:Rosser's theorem

From Wikipedia, the free encyclopedia

This is the talk page for discussing improvements to the Rosser's theorem article.
Please sign and date your posts by typing four tildes (~~~~). Put new text under old text. Click here to start a new topic. New to Wikipedia? Welcome! Ask questions, get answers. This is not a forum for general discussion about the article's subject.	Be polite Assume good faith No personal attacks Be welcoming	Article policies No original research Neutral point of view Verifiability

[edit] Rosser's theorem in symbolic logic

It seems that there is another theorem called Rosser's theorem in symbolic logic. Disambiguation therefore required. DFH 22:45, 7 February 2007 (UTC)