Proof by exhaustion: Revision history

18 June 2024

• curprev 05:5705:57, 18 June 2024‎ Banedon talk contribs‎ 6,944 bytes −46‎ →‎Elegance: Copyedit undo
• curprev 05:5605:56, 18 June 2024‎ Banedon talk contribs‎ m 6,990 bytes −2‎ No edit summary undo
• curprev 05:4905:49, 18 June 2024‎ Königskreuz talk contribs‎ 6,992 bytes +51‎ No edit summary undo Tags: Mobile edit Mobile app edit Android app edit

19 May 2023

• curprev 10:2510:25, 19 May 2023‎ Dancing Dollar talk contribs‎ m 6,941 bytes +1‎ →‎Elegance: clean up, typo(s) fixed: Therefore → Therefore, undo Tag: AWB

3 September 2022

• curprev 18:4418:44, 3 September 2022‎ Mgkrupa talk contribs‎ 6,940 bytes +22‎ Added {{Mathematical logic}} undo

1 November 2021

• curprev 21:2421:24, 1 November 2021‎ MrOllie talk contribs‎ 6,918 bytes −227‎ See Wikipedia_talk:WikiProject_Spam#Mass_spam_of_mathvault.ca undo

27 July 2021

• curprev 07:0607:06, 27 July 2021‎ Hellacioussatyr talk contribs‎ 7,145 bytes +9‎ →‎Example: Tombstone hard to differentiate from the 'glyph not available' fallback glyph undo Tags: Mobile edit Mobile web edit Advanced mobile edit

11 May 2021

• curprev 03:0503:05, 11 May 2021‎ Banedon talk contribs‎ m 7,136 bytes −5‎ →‎Elegance undo
• curprev 02:3502:35, 11 May 2021‎ TheForgottenKing talk contribs‎ 7,141 bytes +14‎ →‎Elegance undo
• curprev 02:3502:35, 11 May 2021‎ TheForgottenKing talk contribs‎ 7,127 bytes 0‎ →‎Elegance undo
• curprev 02:3502:35, 11 May 2021‎ TheForgottenKing talk contribs‎ 7,127 bytes −5‎ →‎Elegance: removed very clumsy statement undo

3 May 2021

• curprev 10:2510:25, 3 May 2021‎ 160.85.7.51 talk‎ 7,132 bytes +99‎ →‎Elegance: ( The "Proof " within this example may run in a contradiction, as the Tokyo Olympic games could be held in 2021, this will irreversably damage the proof of the mathematical consept) undo

30 April 2021

• curprev 20:0620:06, 30 April 2021‎ Beland talk contribs‎ m 7,033 bytes −10‎ convert special characters (via WP:JWB) undo

25 December 2020

• curprev 17:2517:25, 25 December 2020‎ Monkbot talk contribs‎ m 7,043 bytes −99‎ Task 18 (cosmetic): eval 5 templates: del empty params (6×); del |url-status= (2×); undo Tag: AWB

20 November 2020

• curprev 12:5012:50, 20 November 2020‎ Paradoctor talk contribs‎ 7,142 bytes +346‎ →‎Number of cases: update with ref lifted from four colour theorem undo
• curprev 10:4810:48, 20 November 2020‎ 2a02:2168:8737:1f00:d090:65eb:bd46:44b6 talk‎ 6,796 bytes −144‎ →‎Number of cases: removed citation of cranky paper undo Tag: references removed

23 March 2020

• curprev 03:4203:42, 23 March 2020‎ Citation bot talk contribs‎ m 6,940 bytes −147‎ Alter: isbn, eprint, template type. Add: class. Removed URL that duplicated unique identifier. Removed parameters. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Activated by User:Headbomb | via #UCB_webform undo
• curprev 03:2903:29, 23 March 2020‎ Headbomb talk contribs‎ m 7,087 bytes −7‎ Various citation & identifier cleanup, plus AWB genfixes undo Tag: AWB

25 October 2019

• curprev 23:5023:50, 25 October 2019‎ Paradoctor talk contribs‎ 7,094 bytes −85‎ various WP:NOPIPE undo
• curprev 21:2521:25, 25 October 2019‎ Miaumee talk contribs‎ 7,179 bytes +1,191‎ General revision and addition of key ideas. Improved phrasing and flow. Improved citations. Breaking down bloated paragraphs and sentences. undo Tag: Visual edit
• curprev 01:3701:37, 25 October 2019‎ Banedon talk contribs‎ 5,988 bytes 0‎ Undid revision 922898039 by 68.132.47.122 (talk) The article title is "proof by exhaustion" so I think leaving it as the original is better; can start a move discussion on talk page if you like undo Tag: Undo
• curprev 01:0901:09, 25 October 2019‎ 68.132.47.122 talk‎ 5,988 bytes 0‎ No edit summary undo Tag: Visual edit

26 September 2019

• curprev 12:4012:40, 26 September 2019‎ Paradoctor talk contribs‎ 5,988 bytes +29‎ →‎See also: + Proof by contradiction undo

13 December 2018

• curprev 15:2015:20, 13 December 2018‎ HaydenWong talk contribs‎ 5,959 bytes +6‎ →‎Example undo Tags: Mobile edit Mobile web edit

9 July 2018

• curprev 05:3005:30, 9 July 2018‎ Banedon talk contribs‎ 5,953 bytes +1,231‎ Undid revision 839402551 by Cobordism (talk) Why is this unnecessary? undo Tag: Undo

3 May 2018

• curprev 05:3705:37, 3 May 2018‎ Cobordism talk contribs‎ 4,722 bytes −1,231‎ Unnecessary section. undo Tags: section blanking Visual edit

19 January 2018

• curprev 13:2413:24, 19 January 2018‎ 5.2.200.163 talk‎ 5,953 bytes +57‎ →‎See also: links enumerative induction and matheamatical induction undo
• curprev 13:1613:16, 19 January 2018‎ 5.2.200.163 talk‎ 5,896 bytes +6‎ set of cases undo
• curprev 13:1313:13, 19 January 2018‎ 5.2.200.163 talk‎ 5,890 bytes +1‎ type of induction undo

16 May 2017

• curprev 05:3305:33, 16 May 2017‎ Banedon talk contribs‎ m 5,889 bytes +3‎ →‎Elegance: We have the mathematical symbol for multiplication available in the markup, no reason not to use it undo
• curprev 04:3704:37, 16 May 2017‎ 2601:644:0:dbd0:f94e:6c29:de85:e5f7 talk‎ 5,886 bytes +33‎ →‎Elegance: Added wikilink, changed wording undo

9 May 2017

• curprev 16:1216:12, 9 May 2017‎ Gandalf61 talk contribs‎ 5,853 bytes −714‎ rv - there's no case by case analysis there - that's just a straight counterexample undo
• curprev 14:4414:44, 9 May 2017‎ Popcrate talk contribs‎ 6,567 bytes +714‎ adding information about uses in counterexamples to show statements are false undo Tag: Visual edit: Switched
• curprev 14:0914:09, 9 May 2017‎ Popcrate talk contribs‎ 5,853 bytes +664‎ adding brief intro about use in digital computing undo Tag: Visual edit

8 March 2017

• curprev 22:3822:38, 8 March 2017‎ Isacdaavid talk contribs‎ m 5,189 bytes +35‎ Citation needed undo Tag: Visual edit

14 December 2016

• curprev 23:2723:27, 14 December 2016‎ Whoop whoop pull up talk contribs‎ 5,154 bytes +30‎ →‎Elegance: Only the Summer Olympics currently fall in years of the form 4n; since 1994 inclusive, the Winter Olympics have fallen in years of the form 4n+2. undo

3 November 2016

• curprev 04:0304:03, 3 November 2016‎ Oliver Kullmann talk contribs‎ m 5,124 bytes +47‎ Adding link to Boolean Pythagorean triples page undo

8 September 2016

• curprev 21:5121:51, 8 September 2016‎ Beland talk contribs‎ 5,077 bytes +31‎ →‎See also: British Museum algorithm undo

11 August 2016

• curprev 20:3620:36, 11 August 2016‎ Marcocapelle talk contribs‎ 5,046 bytes +8‎ removed Category:Problem solving; added Category:Problem solving methods using HotCat undo

2 August 2016

• curprev 08:1708:17, 2 August 2016‎ Banedon talk contribs‎ 5,038 bytes +209‎ →‎Elegance: This should also be WP:BLUE undo
• curprev 07:5007:50, 2 August 2016‎ Banedon talk contribs‎ 4,829 bytes +6‎ →‎Elegance: To make it clearer how this is a proof by mathematical induction undo
• curprev 07:4507:45, 2 August 2016‎ Banedon talk contribs‎ 4,823 bytes +28‎ →‎Elegance: Removing some of the numbers and using more English undo
• curprev 07:4507:45, 2 August 2016‎ Banedon talk contribs‎ 4,795 bytes +827‎ Adding a section on the elegance of a proof by exhaustion. It is OR, but it also looks pretty obvious to me (WP:BLUE and all that). Second opinion welcome. undo

26 May 2016

• curprev 15:2315:23, 26 May 2016‎ Quiddital talk contribs‎ m 3,968 bytes +30‎ No edit summary undo Tag: Visual edit

10 January 2016

• curprev 22:3022:30, 10 January 2016‎ Loraof talk contribs‎ 3,938 bytes +24‎ →‎Number of cases: wikilink undo

6 January 2016

• curprev 21:4421:44, 6 January 2016‎ Loraof talk contribs‎ 3,914 bytes −20‎ →‎See also: rm link to dab page that leads back to here undo
• curprev 21:4221:42, 6 January 2016‎ Loraof talk contribs‎ 3,934 bytes −4‎ →‎top: removing wikilink to dab page that leads back to here undo

8 November 2015

• curprev 17:3617:36, 8 November 2015‎ Paradoctor talk contribs‎ 3,938 bytes +87‎ dab hatnote for "proof by cases" undo

30 November 2014

• curprev 02:3302:33, 30 November 2014‎ Mywalnut talk contribs‎ 3,851 bytes +4‎ →‎Example undo

29 September 2014

• curprev 00:1100:11, 29 September 2014‎ Mario Castelán Castro talk contribs‎ 3,847 bytes +20‎ Add ISBN. undo