Changes related to "Decision problem"
From Wikipedia, the free encyclopedia
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown in bold.
12 July 2009
- (diff) (hist) . . Constance Reid; 15:03 . . (-25) . . Stephen (talk | contribs) (clean up, remove placeholder image using AWB)
- (diff) (hist) . . m Formal system; 12:59 . . (+22) . . Ascánder (talk | contribs) (IW)
- (diff) (hist) . . Recursively enumerable set; 09:09 . . (-28) . . Trovatore (talk | contribs) (rv possible test edits to last by Per Ardua)
- (diff) (hist) . . Recursively enumerable set; 09:06 . . (+11) . . 202.1.199.107 (talk) (→Formal definition)
- (diff) (hist) . . Recursively enumerable set; 09:06 . . (+17) . . 202.1.199.107 (talk) (→Properties)
- (diff) (hist) . . Recursively enumerable set; 09:06 . . (+1,674) . . Per Ardua (talk | contribs) (rv unexplained deletion)
- (diff) (hist) . . Recursively enumerable set; 09:05 . . (-1,674) . . 202.1.199.107 (talk) (→Examples) (Tag: section blanking)
11 July 2009
- (diff) (hist) . . m David Hilbert; 21:24 . . (+16) . . Algebraist (talk | contribs) (Disambiguate Line to Line (geometry) using popups – You can help!)
10 July 2009
- (diff) (hist) . . Halting problem; 18:03 . . (-750) . . Trovatore (talk | contribs) (no, sorry, that's not helpful. For the relevant meaning of "undecidable", it *cannot* be undecidable whether a single program halts.)
- (diff) (hist) . . Algorithm; 17:47 . . (-43) . . Pgr94 (talk | contribs) (Undid revision 301398049 by Rpwikiman (talk) inappropriate for this article)
- (diff) (hist) . . Algorithm; 16:45 . . (+43) . . Rpwikiman (talk | contribs)
- (diff) (hist) . . Halting problem; 16:41 . . (+750) . . Cyp (talk | contribs) (Note that can't give an example of a program for which the halting problem is undecidable.)
9 July 2009
- (diff) (hist) . . m Long division; 22:49 . . (-300) . . NrDg (talk | contribs) (Reverted edits by 68.190.161.168 (talk) to last version by Xanthoxyl)
- (diff) (hist) . . Long division; 22:11 . . (+300) . . 68.190.161.168 (talk) (→Education)
8 July 2009
- (diff) (hist) . . m Long division; 21:33 . . (-8) . . Xanthoxyl (talk | contribs) (Undid revision 300954417 by 143.238.68.171 (talk))
- (diff) (hist) . . Optimization problem; 18:25 . . (+15) . . 194.110.194.1 (talk) (→NP optimization problems)
- (diff) (hist) . . m Presburger arithmetic; 17:24 . . (+23) . . Miym (talk | contribs) (→References: authorlink)
- (diff) (hist) . . Hartley Rogers, Jr; 14:15 . . (+32) . . 66.31.200.186 (talk) (→External links)
- (diff) (hist) . . Long division; 08:30 . . (+8) . . 143.238.68.171 (talk) (→Education)
5 July 2009
- (diff) (hist) . . m David Hilbert; 08:28 . . (-2) . . PloniAlmoni (talk | contribs)
- (diff) (hist) . . m David Hilbert; 08:19 . . (-6) . . PloniAlmoni (talk | contribs) (→The Göttingen school)
