Diophantine set: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 02:2202:22, 1 September 2007‎ Michael Hardy talk contribs‎ 8,244 bytes −5‎ No edit summary undo

curprev 16:0916:09, 31 August 2007‎ CRGreathouse talk contribs‎ m 8,249 bytes −4‎ →‎Application to Hilbert's Tenth problem undo

curprev 06:0006:00, 4 May 2007‎ Andrew Robertson talk contribs‎ m 8,253 bytes −10‎ →‎Matiyasevich's theorem: "precisely" is a strong word to use in a hand-waving definition of recursively enumerable :) undo

curprev 18:0218:02, 29 April 2007‎ Shlomke talk contribs‎ m 8,263 bytes −16‎ Reverted 1 edit by 71.166.147.58 identified as vandalism to last revision by Yurylifshits. (TW) undo
curprev 17:5717:57, 29 April 2007‎ 71.166.147.58 talk‎ 8,279 bytes +16‎ →‎Logical structure undo

curprev 17:4317:43, 15 March 2007‎ Yurylifshits~enwiki talk contribs‎ 8,263 bytes +7‎ →‎References undo

curprev 04:0004:00, 4 March 2007‎ 70.22.254.162 talk‎ 8,256 bytes +1‎ typo: as->has undo

curprev 15:2815:28, 10 February 2007‎ 141.35.26.61 talk‎ 8,255 bytes +9‎ →‎Proof technique: wikilink to Yuri Matiyasevich undo

curprev 20:2320:23, 27 January 2007‎ 141.35.26.61 talk‎ 8,246 bytes −33‎ →‎Logical structure: Well, the syllogism *is* trivial; it's the proof of the premises which is not... undo

curprev 20:0720:07, 23 January 2007‎ 141.35.26.61 talk‎ 8,874 bytes 0‎ →‎Logical structure: Switched major/minor, following traditional nomenclature. (Predicate of conclusion has to appear in major premise.) undo

curprev 00:5100:51, 22 December 2006‎ Michael Hardy talk contribs‎ 8,874 bytes −19‎ deleted a self-link undo

curprev 21:4021:40, 21 December 2006‎ Charles Matthews talk contribs‎ 8,893 bytes +877‎ import examples from Hilbert's tenth problem undo
curprev 21:3721:37, 21 December 2006‎ Charles Matthews talk contribs‎ m 8,016 bytes +1‎ →‎=Proof technique undo
curprev 21:3621:36, 21 December 2006‎ Charles Matthews talk contribs‎ 8,015 bytes +264‎ work on section structure undo
curprev 21:2821:28, 21 December 2006‎ Charles Matthews talk contribs‎ 7,751 bytes +6,254‎ merge Matiyasevich's theorem undo

curprev 19:5919:59, 13 September 2006‎ Rich Farmbrough talk contribs‎ m 1,497 bytes +3‎ ISBN formatting/gen fixes using AWB undo

curprev 17:3717:37, 7 September 2006‎ Michael Hardy talk contribs‎ 1,494 bytes +91‎ reference undo

curprev 03:3603:36, 15 August 2006‎ Burn talk contribs‎ m 1,403 bytes +20‎ +zh undo

curprev 06:3706:37, 20 July 2006‎ DarthVader talk contribs‎ m 1,383 bytes +19‎ {{ unreferenced }} undo

curprev 18:1318:13, 3 December 2004‎ 128.138.96.35 talk‎ 1,364 bytes −1‎ No edit summary undo

curprev 19:0219:02, 8 November 2004‎ MathMartin talk contribs‎ m 1,365 bytes +8‎ +Category:Diophantine equations, -Category:Number theory undo
curprev 01:5001:50, 8 November 2004‎ Michael Hardy talk contribs‎ 1,357 bytes +203‎ I think it's useful to have an intuitively comprehensible statement of what "recursively enumerable" means. The term really does not hint at the meaning unless you've studied the subject. undo

curprev 21:4921:49, 7 November 2004‎ MathMartin talk contribs‎ 1,154 bytes −399‎ removed some content on recursively enumerable sets. The content did not directly add value to the article and is explained in more detail on the correspondeing page. undo
curprev 21:4221:42, 7 November 2004‎ MathMartin talk contribs‎ m 1,553 bytes +22‎ +Category:Number theory undo

curprev 23:5923:59, 13 October 2003‎ 24.131.190.86 talk‎ 1,215 bytes −1‎ No edit summary undo

curprev 21:0921:09, 30 September 2003‎ Michael Hardy talk contribs‎ 1,216 bytes +18‎ No edit summary undo

curprev 22:5422:54, 26 January 2003‎ Michael Hardy talk contribs‎ m 627 bytes +1‎ corrected link undo

curprev 19:2219:22, 10 October 2002‎ AxelBoldt talk contribs‎ 626 bytes −5‎ No edit summary undo
curprev 19:2019:20, 10 October 2002‎ AxelBoldt talk contribs‎ 631 bytes +166‎ No edit summary undo

curprev 15:1715:17, 9 October 2002‎ 213.253.39.171 talk‎ 465 bytes +4‎ integer undo
curprev 15:1615:16, 9 October 2002‎ 213.253.39.171 talk‎ 461 bytes −1‎ -t undo
curprev 15:1615:16, 9 October 2002‎ 213.253.39.171 talk‎ 462 bytes +462‎ See Matiyasevitchs theorem for results about Diophantine sets.

1 September 2007

31 August 2007

4 May 2007

29 April 2007

15 March 2007

4 March 2007

10 February 2007

27 January 2007

24 January 2007

23 January 2007

22 December 2006

21 December 2006

13 September 2006

7 September 2006

15 August 2006

20 July 2006

3 December 2004

8 November 2004

7 November 2004

19 May 2004

13 October 2003

30 September 2003

27 September 2003

26 January 2003

10 October 2002

9 October 2002