Nonconstructive proof: 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 16:3716:37, 30 July 2008 Unzerlegbarkeit talk contribs 32 bytes −2,964 ← Redirected page to Constructive proof undo

curprev 13:2213:22, 6 July 2008 SmackBot talk contribs m 2,996 bytes +16 Date the maintenance tags or general fixes undo

curprev 21:2321:23, 3 July 2008 Classicalecon talk contribs 2,980 bytes +65 clarify undo
curprev 14:4914:49, 3 July 2008 Unzerlegbarkeit talk contribs 2,915 bytes +31 propose merge with constructive proof -- this is a pointless split. undo

curprev 14:3514:35, 9 March 2008 Simetrical talk contribs 2,884 bytes −382 →An example of a nonconstructive proof: Not needed, we already gave a way to prove this constructively. Is the Gelfond-Schneider theorem even proved constructively itself? undo

curprev 09:4109:41, 8 March 2008 Sikon talk contribs 3,266 bytes +382 No edit summary undo

curprev 20:0320:03, 18 October 2007 Giftlite talk contribs m 2,884 bytes +1 →An example of a nonconstructive proof: +. undo
curprev 19:5519:55, 18 October 2007 Gandalf61 talk contribs 2,883 bytes +2 rv incorrect changes undo
curprev 18:4418:44, 18 October 2007 205.175.225.22 talk 2,881 bytes −2 →An example of a nonconstructive proof undo
curprev 18:4418:44, 18 October 2007 205.175.225.22 talk 2,883 bytes 0 →An example of a nonconstructive proof undo

curprev 18:2018:20, 18 September 2007 Simetrical talk contribs 2,883 bytes −798 →An example of a nonconstructive proof: One example is sufficient. Extra examples, especially from more abstruse topics like set theory, don't help the reader to understand the topic. undo

curprev 12:4612:46, 21 March 2007 60.240.92.145 talk 3,681 bytes 0 →Some examples of nonconstructive proofs undo

curprev 17:5017:50, 8 March 2007 Petdance talk contribs m 3,681 bytes +24 →Some examples of nonconstructive proofs undo

curprev 20:0120:01, 15 January 2007 Dcoetzee talk contribs m 3,657 bytes 0 →Some examples of nonconstructive proofs: Wrong slash undo
curprev 20:0120:01, 15 January 2007 Dcoetzee talk contribs 3,657 bytes +146 →Some examples of nonconstructive proofs: Expand a bit on why it's a bijection undo

curprev 16:3016:30, 7 October 2006 Andreas Kaufmann talk contribs 3,511 bytes −8 No edit summary undo

curprev 10:0610:06, 28 August 2006 WinBot talk contribs m 3,519 bytes −30 BOT - Unicodifying undo

curprev 23:0823:08, 16 July 2006 24.19.184.243 talk 3,549 bytes −587 remove example #3 as pre Talk undo

curprev 02:0902:09, 25 May 2006 131.107.0.106 talk 4,136 bytes +32 →Some examples of nonconstructive proofs: - links undo

curprev 13:5113:51, 19 May 2006 192.75.48.150 talk 4,104 bytes +40 +cat constructivism undo

curprev 04:4204:42, 5 March 2006 Lambiam talk contribs 4,064 bytes +589 →Some examples of nonconstructive proofs: Yet another example undo

curprev 15:2415:24, 22 February 2006 LutzL talk contribs m 3,475 bytes 0 →Some examples of nonconstructive proofs: Fixing (blah)LaTeX-errors undo

curprev 07:0407:04, 22 January 2006 Lambiam talk contribs 3,475 bytes −629 removed weak examples; see talk page under "easier" example undo
curprev 06:5606:56, 22 January 2006 Lambiam talk contribs m 4,104 bytes +113 →Some examples of nonconstructive proofs: more structured presentation of proof undo

curprev 12:1812:18, 14 January 2006 Lambiam talk contribs m 3,991 bytes −26 restructured a bit; explained "pure" undo
curprev 12:0612:06, 14 January 2006 Lambiam talk contribs m 4,017 bytes 0 →Some examples of nonconstructive proofs: spelling--I need more coffee undo
curprev 12:0412:04, 14 January 2006 Lambiam talk contribs 4,017 bytes +61 →Some examples of nonconstructive proofs: mentioning König's lemma undo

curprev 15:3915:39, 14 December 2005 Mushroom talk contribs m 3,956 bytes +3,931 Reverted edits by Pooopwoman (talk) to last version by 87.123.67.235 undo
curprev 15:2615:26, 14 December 2005 Pooopwoman talk contribs 25 bytes −3,931 No edit summary undo

curprev 23:5223:52, 5 October 2005 87.123.67.235 talk 3,956 bytes +503 No edit summary undo

curprev 12:0912:09, 30 August 2005 CiaPan talk contribs m 3,453 bytes +13 bigger parentheses undo

curprev 02:2802:28, 19 August 2005 VKokielov talk contribs 3,440 bytes +14 No edit summary undo
curprev 02:2702:27, 19 August 2005 VKokielov talk contribs 3,426 bytes 0 No edit summary undo
curprev 02:2602:26, 19 August 2005 VKokielov talk contribs 3,426 bytes −97 Simplify. undo
curprev 02:2102:21, 19 August 2005 VKokielov talk contribs 3,523 bytes +519 →Some examples of nonconstructive proofs undo

curprev 12:2212:22, 21 July 2005 CiaPan talk contribs m 3,004 bytes +31 +pl undo

curprev 04:5704:57, 7 July 2005 Chinju talk contribs 2,973 bytes +5 No edit summary undo

curprev 02:0102:01, 3 July 2005 Fredrik talk contribs m 2,968 bytes +2 No edit summary undo

curprev 16:4516:45, 5 April 2005 Mountain talk contribs 2,966 bytes +57 + zh; undo

curprev 19:3819:38, 14 October 2004 Michael Hardy talk contribs 2,909 bytes +16 No edit summary undo

curprev 08:0108:01, 7 September 2004 Charles Matthews talk contribs m 2,893 bytes +27 lk to 'existence theorem' undo

curprev 23:2423:24, 3 August 2004 Gdr talk contribs 2,866 bytes +148 →Some examples of nonconstructive proofs: NPOV (I hope) comments about constructivism undo
curprev 18:4218:42, 3 August 2004 Gdr talk contribs m 2,718 bytes +43 →Some examples of nonconstructive proofs: link strategy-stealing argument undo

curprev 21:4321:43, 21 June 2004 Peter Kwok talk contribs m 2,675 bytes −4 Categorized. undo

curprev 05:2105:21, 21 April 2004 MarkSweep talk contribs m 2,679 bytes 0 fixed link to Gelfond-Schneider theorem (recently created) undo

curprev 08:5708:57, 5 April 2004 The Anome talk contribs 2,679 bytes −71 named a number to simplify layout undo
curprev 08:5408:54, 5 April 2004 The Anome talk contribs 2,750 bytes −4 often used as a synonym undo
curprev 08:5308:53, 5 April 2004 The Anome talk contribs 2,754 bytes +216 The term "'''existence proof'''" is sometimes used as a synonym for "nonconstructive proof", although this is not strictly accurate, as both constructive and nonconstructive proofs can be used to prov undo

curprev 21:3921:39, 16 March 2004 Moink talk contribs m 2,538 bytes 0 rewording: practically->nearly, at heart -> fundamentally undo

curprev 18:1618:16, 4 March 2004 Chinju talk contribs m 2,538 bytes +4 No edit summary undo

30 July 2008

6 July 2008

3 July 2008

9 March 2008

8 March 2008

18 October 2007

18 September 2007

21 March 2007

8 March 2007

15 January 2007

7 October 2006

28 August 2006

16 July 2006

25 May 2006

19 May 2006

5 March 2006

22 February 2006

22 January 2006

14 January 2006

14 December 2005

5 October 2005

30 August 2005

19 August 2005

21 July 2005

7 July 2005

3 July 2005

5 April 2005

14 October 2004

7 September 2004

3 August 2004

21 June 2004

21 April 2004

5 April 2004

16 March 2004

4 March 2004