Proof by contradiction: 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 17:5217:52, 4 November 2024 Oneequalsequalsone talk contribs m 19,602 bytes −1 No edit summary undo Tag: 2017 wikitext editor

curprev 06:4406:44, 25 September 2024 Remsense talk contribs 19,603 bytes +218 Undid revision 1247642625 by Sushidude21! (talk): did you read the reason at all? undo Tag: Undo
curprev 06:4006:40, 25 September 2024 Sushidude21! talk contribs m 19,385 bytes −218 Doesn't need clarification undo Tags: Reverted Visual edit Newcomer task Newcomer task: references

curprev 00:2000:20, 24 September 2024 Remsense talk contribs m 19,603 bytes −6 Reverted 1 edit by 100julian (talk) to last revision by TypoEater undo Tags: Twinkle Undo

curprev 23:5023:50, 23 September 2024 100julian talk contribs 19,609 bytes +6 No edit summary undo Tag: Reverted

curprev 20:4120:41, 15 September 2024 TypoEater talk contribs m 19,603 bytes −1 Removed awkwardly placed comma undo

curprev 13:3813:38, 1 September 2024 MichaelMaggs talk contribs 19,604 bytes −9 Better per WP:SDSHORT, without change of meaning undo Tag: Shortdesc helper

curprev 08:2208:22, 2 August 2024 Citation bot talk contribs 19,613 bytes −52 Added pages. Removed URL that duplicated identifier. Removed access-date with no URL. | Use this bot. Report bugs. | Suggested by Abductive | Category:Mathematical proofs | #UCB_Category 37/40 undo

curprev 02:5702:57, 17 July 2024 Polygnotus talk contribs m 19,665 bytes −115 clean up, Added named reference 'mathcs_clarku_edu' and shortened duplicate undo Tag: AWB

curprev 20:0820:08, 12 July 2024 Jochen Burghardt talk contribs 19,780 bytes −31 Undid revision 1234128938 by Davidichek (talk): cat. is about (philosophy of) natural sciences, while article is about formal/mathematical logic undo Tag: Undo
curprev 18:4018:40, 12 July 2024 Davidichek talk contribs 19,811 bytes +31 No edit summary undo Tags: Reverted Visual edit

curprev 05:2905:29, 10 June 2024 OAbot talk contribs m 19,780 bytes +17 Open access bot: doi updated in citation with #oabot. undo

curprev 09:4309:43, 1 June 2024 Citation bot talk contribs 19,763 bytes +128 Altered template type. Add: isbn, doi, pages, issue, volume, journal. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Wikipedia articles needing clarification from May 2024 | #UCB_Category 106/914 undo

curprev 13:3813:38, 27 May 2024 AnomieBOT talk contribs m 19,635 bytes +14 Dating maintenance tags: {{Clarify span}} undo
curprev 13:1813:18, 27 May 2024 Jochen Burghardt talk contribs 19,621 bytes +204 →Proof by contradiction in intuitionistic logic: challenge condition (independent of being a quote or not) undo
curprev 07:5207:52, 27 May 2024 AndrejBauer talk contribs 19,417 bytes −43 →Proof by contradiction in intuitionistic logic: The citation is not needed because the quote is not a quote of an external source, it is just a displayed statement (as is common in mathematics). I have changed it to inline text so there's no doubt. undo

curprev 20:2320:23, 25 May 2024 Mach61 talk contribs 19,460 bytes +78 →Proof by contradiction in intuitionistic logic undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 19:5219:52, 2 April 2024 Pink Bee talk contribs m 19,382 bytes 0 Fix case undo

curprev 20:3520:35, 30 December 2023 AB-Babayo talk contribs 19,382 bytes +25 Added free to read link in citations with OAbot #oabot undo Tag: OAbot [2.1]

curprev 18:3118:31, 21 December 2023 Jarble talk contribs 19,357 bytes +19 disambiguating a link undo
curprev 17:5517:55, 21 December 2023 AndrejBauer talk contribs 19,338 bytes +137 →Automated theorem proving: More self-explanatory text. undo Tag: Disambiguation links added
curprev 17:2517:25, 21 December 2023 Jarble talk contribs 19,201 bytes +394 →Automated theorem proving: describing automated theorem proving by contradiction undo Tag: Visual edit

curprev 10:2310:23, 20 December 2023 AndrejBauer talk contribs 18,807 bytes +85 Provide a missing citation. undo

curprev 21:2921:29, 19 December 2023 DMH223344 talk contribs 18,722 bytes +38 citation needed undo Tag: Visual edit

curprev 15:0415:04, 6 December 2023 AndrejBauer talk contribs 18,684 bytes −1 →Euclid's Elements: Euclid's proof procceeds by assuming the negation of the conclusion (side are equal), not the negation of the assumption (angles are equal). undo

curprev 00:0200:02, 3 November 2023 BD2412 talk contribs m 18,685 bytes +66 Clean up spacing errors around ref tags., replaced: /ref>a → /ref> a undo Tag: AWB

curprev 05:2005:20, 12 September 2023 Franz.wohlkoenig talk contribs 18,619 bytes −49 Missing or empty |title= solved undo
curprev 05:1905:19, 12 September 2023 Franz.wohlkoenig talk contribs 18,668 bytes +62 Missing or empty |title= solved undo

curprev 17:0317:03, 17 August 2023 GreenC bot talk contribs 18,606 bytes −24 Removed 1 archive link. Wayback Medic 2.5 undo

curprev 17:0917:09, 10 August 2023 InternetArchiveBot talk contribs 18,630 bytes +154 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5) (Whoop whoop pull up - 14407 undo

curprev 04:3304:33, 5 July 2023 Fgnievinski talk contribs 18,476 bytes +26 →See also undo Tag: 2017 wikitext editor

curprev 00:5700:57, 13 June 2023 Ronald Sexton talk contribs 18,450 bytes +287 added citation undo Tag: 2017 wikitext editor

curprev 07:2907:29, 2 April 2023 114.108.244.113 talk 18,163 bytes −213 →Formalization undo Tag: Manual revert
curprev 07:2907:29, 2 April 2023 114.108.244.113 talk 18,376 bytes +213 →Formalization undo Tag: Reverted

curprev 13:0013:00, 24 February 2023 Jochen Burghardt talk contribs 18,163 bytes +17 Undid revision 1141305369 by Donko XI (talk): was more expressive before undo Tag: Undo
curprev 11:1011:10, 24 February 2023 Donko XI talk contribs 18,146 bytes −17 →top: Adjusted short description as per WP:SHORTDESC undo Tags: Reverted Mobile edit Mobile app edit Android app edit

curprev 23:2923:29, 8 February 2023 Izno talk contribs 18,163 bytes −60 -texhtml undo
curprev 22:2522:25, 8 February 2023 FinnSoThin talk contribs 18,223 bytes 0 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 07:2207:22, 24 January 2023 AndrejBauer talk contribs 18,223 bytes −266 →Infinitude of primes: Remove unnecessary case distinction, shorten the proof a bit. undo
curprev 07:1407:14, 24 January 2023 AndrejBauer talk contribs 18,489 bytes −70 →Refutation by contradiction: Fix missing citation by linking to wiki page on inference rules for negation. undo
curprev 07:0707:07, 24 January 2023 AndrejBauer talk contribs 18,559 bytes +120 →Relationship with other proof techniques: Emphasize that in classical logic the difference between proof and refutation by contradiction is obscured. undo
curprev 06:5906:59, 24 January 2023 AndrejBauer talk contribs m 18,439 bytes +9 Better phrasing. undo

curprev 04:4304:43, 19 January 2023 WikiCleanerBot talk contribs m 18,430 bytes −1 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 09:1609:16, 17 January 2023 AndrejBauer talk contribs 18,431 bytes +16 Explicate how an existence proof by contradiction works. Move the "not universally accepted" sentence to where it actually applies. undo
curprev 08:4708:47, 17 January 2023 Jochen Burghardt talk contribs 18,415 bytes +3 →top: don't blur distinction "reductio ad absurdum" vs "reductio ad impossibile" (made by EB) without a convincing reason undo

4 November 2024

25 September 2024

24 September 2024

23 September 2024

15 September 2024

1 September 2024

2 August 2024

17 July 2024

12 July 2024

10 June 2024

1 June 2024

27 May 2024

25 May 2024

2 April 2024

30 December 2023

21 December 2023

20 December 2023

19 December 2023

6 December 2023

3 November 2023

12 September 2023

17 August 2023

10 August 2023

5 July 2023

13 June 2023

2 April 2023

24 February 2023

8 February 2023

24 January 2023

19 January 2023

17 January 2023

16 January 2023