Existence theorem: Revision history

16 July 2024

• curprev 20:1220:12, 16 July 2024‎ Igodard talk contribs‎ m 5,779 bytes 0‎ No edit summary undo

9 December 2021

• curprev 08:0708:07, 9 December 2021‎ Citation bot talk contribs‎ 5,779 bytes −2‎ Alter: title. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_toolbar undo

3 November 2021

• curprev 17:5717:57, 3 November 2021‎ MrOllie talk contribs‎ 5,781 bytes −216‎ See Wikipedia_talk:WikiProject_Spam#Mass_spam_of_mathvault.ca undo

19 September 2021

• curprev 09:3109:31, 19 September 2021‎ Mgiganteus1 talk contribs‎ 5,997 bytes −1‎ copyedit undo Tags: Mobile edit Mobile web edit
• curprev 09:1709:17, 19 September 2021‎ Mgiganteus1 talk contribs‎ 5,998 bytes +3‎ copyedit undo Tags: Mobile edit Mobile web edit

26 March 2021

• curprev 02:3502:35, 26 March 2021‎ AnomieBOT talk contribs‎ m 5,995 bytes +16‎ Dating maintenance tags: {{Explain}} undo
• curprev 00:3400:34, 26 March 2021‎ Terminator 2 really happened talk contribs‎ m 5,979 bytes −5‎ No edit summary undo

31 January 2021

• curprev 16:3816:38, 31 January 2021‎ Hellacioussatyr talk contribs‎ 5,984 bytes −1‎ →‎Constructivist ideas: Inline math formatting simplification undo Tags: Mobile edit Mobile web edit Advanced mobile edit

1 January 2021

• curprev 13:4613:46, 1 January 2021‎ Monkbot talk contribs‎ m 5,985 bytes −56‎ Task 18 (cosmetic): eval 7 templates: del empty params (4×); del |url-status= (1×); undo Tag: AWB

5 October 2020

• curprev 19:4919:49, 5 October 2020‎ Jochen Burghardt talk contribs‎ 6,041 bytes +297‎ →‎top: suggest picture of geometrical existence proof ("sqrt(2) is irrational") undo

4 July 2020

• curprev 13:4413:44, 4 July 2020‎ Scott McNay talk contribs‎ 5,744 bytes +3‎ Typo in short description undo Tags: Mobile edit Mobile web edit Advanced mobile edit

29 May 2020

• curprev 08:2908:29, 29 May 2020‎ 174.0.234.216 talk‎ 5,741 bytes +16‎ No edit summary undo

10 May 2020

• curprev 11:3411:34, 10 May 2020‎ ArnoldReinhold talk contribs‎ 5,725 bytes +68‎ Adding short description: "Theorem which asserts the existence an object" (Shortdesc helper) undo

17 April 2020

• curprev 19:5319:53, 17 April 2020‎ Ore4444 talk contribs‎ 5,657 bytes +4‎ No edit summary undo Tag: 2017 wikitext editor

23 January 2020

• curprev 11:0311:03, 23 January 2020‎ Fullfungo talk contribs‎ m 5,653 bytes +1‎ changed an article undo Tags: Mobile edit Mobile app edit iOS app edit

29 November 2019

• curprev 23:2023:20, 29 November 2019‎ Miaumee talk contribs‎ 5,652 bytes +1,355‎ General revision and expansion throughout the page. Improved citations. Fixes in grammar/wording/punctuation for better pacing, flow and clarity. Mitigated obscure phrasing, bloated sentences and paragraphs. Typeset some math expression in LaTeX. Deleted the invisible comment about missing phrase (as it is solved). Added "constructivism" to See Also section. undo Tag: Visual edit

12 March 2018

• curprev 16:3116:31, 12 March 2018‎ Loraof talk contribs‎ 4,297 bytes −11‎ →‎'Pure' existence results: ce undo
• curprev 16:2216:22, 12 March 2018‎ Loraof talk contribs‎ 4,308 bytes +3‎ →‎top: ce undo

1 June 2017

• curprev 19:1719:17, 1 June 2017‎ Miraclexix talk contribs‎ m 4,305 bytes +63‎ →‎Notes undo

8 March 2016

• curprev 18:4018:40, 8 March 2016‎ Marek69 talk contribs‎ 4,242 bytes +4‎ clean up and general fixes, http: --> https:, typo(s) fixed: For example → For example, using AWB undo

25 October 2015

• curprev 19:1019:10, 25 October 2015‎ Daniele.tampieri talk contribs‎ m 4,238 bytes +139‎ Minor layout and notation changes undo

29 May 2015

• curprev 07:0907:09, 29 May 2015‎ Tkuvho talk contribs‎ 4,099 bytes +141‎ No edit summary undo

28 May 2015

• curprev 17:2717:27, 28 May 2015‎ Charles Matthews talk contribs‎ 3,958 bytes −384‎ →‎'Pure' existence results: cut rather vague para undo
• curprev 17:2617:26, 28 May 2015‎ Charles Matthews talk contribs‎ 4,342 bytes −36‎ untag undo
• curprev 17:2617:26, 28 May 2015‎ Charles Matthews talk contribs‎ 4,378 bytes +79‎ →‎'Pure' existence results: new example undo
• curprev 17:2117:21, 28 May 2015‎ Charles Matthews talk contribs‎ 4,299 bytes −544‎ →‎'Pure' existence results: tighten up by removing unsourced discussion undo
• curprev 17:2017:20, 28 May 2015‎ Charles Matthews talk contribs‎ 4,843 bytes +489‎ →‎'Pure' existence results: another way to phrase it undo
• curprev 17:1517:15, 28 May 2015‎ Charles Matthews talk contribs‎ 4,354 bytes +23‎ →‎See also: footer undo
• curprev 17:1517:15, 28 May 2015‎ Charles Matthews talk contribs‎ 4,331 bytes +377‎ →‎'Pure' existence results: a reference undo
• curprev 08:0908:09, 28 May 2015‎ Qwertyus talk contribs‎ 3,954 bytes +33‎ →‎'Pure' existence results: want a reference: if proof irrelevance is a standard concept, then why don't we have an article about it? undo

25 November 2014

• curprev 13:0713:07, 25 November 2014‎ AnomieBOT talk contribs‎ m 3,921 bytes +19‎ Dating maintenance tags: {{Clarify}} undo
• curprev 12:4712:47, 25 November 2014‎ Jochen Burghardt talk contribs‎ 3,902 bytes +111‎ →‎'Pure' existence results: 'probably' has no place in math reasoning; clarify undo
• curprev 12:3412:34, 25 November 2014‎ Jochen Burghardt talk contribs‎ 3,791 bytes +13‎ →‎top: require that 'exists' occurs at unnegated position undo
• curprev 08:4508:45, 25 November 2014‎ Erel Segal talk contribs‎ 3,778 bytes +64‎ No edit summary undo

20 August 2014

• curprev 16:3116:31, 20 August 2014‎ Tkuvho talk contribs‎ 3,714 bytes +12‎ No edit summary undo

17 September 2013

• curprev 14:1114:11, 17 September 2013‎ 128.138.189.182 talk‎ 3,702 bytes 0‎ →‎'Pure' existence results: changed comma to period undo Tag: Visual edit

28 February 2013

• curprev 10:2510:25, 28 February 2013‎ Addbot talk contribs‎ m 3,702 bytes −99‎ Bot: Migrating 4 interwiki links, now provided by Wikidata on d:q2694495 (Report Errors) undo

4 June 2012

• curprev 13:5513:55, 4 June 2012‎ Jarble talk contribs‎ 3,801 bytes +17‎ wikifying undo

2 February 2012

• curprev 14:1414:14, 2 February 2012‎ Brad7777 talk contribs‎ 3,784 bytes −33‎ removed Category:Mathematical proofs using HotCat undo

31 January 2012

• curprev 23:1723:17, 31 January 2012‎ Cydebot talk contribs‎ m 3,817 bytes +13‎ Robot - Speedily moving category Proofs to Category:Mathematical proofs per CFDS. undo

22 November 2011

• curprev 12:0212:02, 22 November 2011‎ Murray Langton talk contribs‎ m 3,804 bytes +18‎ avoid redirect undo

31 October 2011

• curprev 12:3412:34, 31 October 2011‎ Tkuvho talk contribs‎ 3,786 bytes +151‎ No edit summary undo

18 October 2010

• curprev 19:2719:27, 18 October 2010‎ Clconway talk contribs‎ m 3,635 bytes +18‎ Disambiguate Symbolic logic to First-order logic using popups undo

15 August 2010

• curprev 05:2605:26, 15 August 2010‎ OlEnglish talk contribs‎ m 3,617 bytes −1‎ No edit summary undo

17 December 2009

• curprev 04:1504:15, 17 December 2009‎ SmackBot talk contribs‎ m 3,618 bytes +21‎ remove Erik9bot category,outdated, tag and general fixes undo

3 July 2009

• curprev 19:0519:05, 3 July 2009‎ Erik9bot talk contribs‎ 3,597 bytes +49‎ add Category:Articles lacking sources (Erik9bot) undo

16 June 2009

• curprev 00:3900:39, 16 June 2009‎ Ideal gas equation talk contribs‎ 3,548 bytes +23‎ iw undo

16 May 2009

• curprev 11:4811:48, 16 May 2009‎ 82.204.105.103 talk‎ 3,525 bytes +26‎ No edit summary undo

2 January 2009

• curprev 14:3414:34, 2 January 2009‎ Lightbot talk contribs‎ 3,499 bytes −4‎ Units/dates/other undo

28 November 2008

• curprev 21:2121:21, 28 November 2008‎ Classicalecon talk contribs‎ 3,503 bytes −23‎ NPOV dispute now resolved undo