Curry's paradox: 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 14:1314:13, 27 June 2024‎ 2a02:a45c:ff55:1:4c9a:4fd:479d:c5e8 talk‎ 15,968 bytes +4‎ →‎In natural language undo
curprev 14:1314:13, 27 June 2024‎ 2a02:a45c:ff55:1:4c9a:4fd:479d:c5e8 talk‎ 15,964 bytes +17‎ →‎In natural language: Improved language. undo

curprev 06:1406:14, 20 June 2024‎ David Eppstein talk contribs‎ 15,947 bytes −28‎ →‎Lambda calculus with restricted minimal logic: this meaning of minimal logic seems to have been separated out to a brief note at the end of the lead; implicational propositional calculus seems to be the right link undo

curprev 17:5617:56, 8 June 2024‎ LucasBrown talk contribs‎ m 15,975 bytes +260‎ No edit summary undo Tag: Visual edit

curprev 20:2020:20, 28 May 2024‎ Hellacioussatyr talk contribs‎ 15,715 bytes 0‎ →‎In natural language undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 22:5422:54, 18 March 2024‎ Jerryobject talk contribs‎ 15,715 bytes +18‎ →‎External links: WP:NAVBOX add. undo

curprev 20:3720:37, 25 February 2024‎ AxelBoldt talk contribs‎ 15,697 bytes +78‎ better heading; explanation undo Tag: Visual edit
curprev 20:3220:32, 25 February 2024‎ AxelBoldt talk contribs‎ 15,619 bytes +131‎ year in intro; modus ponens mentioned undo Tags: nowiki added Visual edit: Switched

curprev 00:5200:52, 19 February 2024‎ AxelBoldt talk contribs‎ 15,488 bytes −8,947‎ shortening proof; removing original research "resolution" undo Tag: Visual edit

curprev 19:5619:56, 14 January 2024‎ Jochen Burghardt talk contribs‎ 24,435 bytes +726‎ →‎In natural language: suggest detailled natural-language explanantion along section "Sentential logic" undo

curprev 23:2423:24, 9 December 2023‎ 109.213.54.250 talk‎ 23,709 bytes 0‎ →‎In natural language undo

curprev 08:4208:42, 7 August 2023‎ Jochen Burghardt talk contribs‎ 23,709 bytes −12‎ →‎Naive set theory: defuse WP:EASTEREGG using appropriate redirect undo

curprev 20:3620:36, 6 August 2023‎ Nbrader talk contribs‎ 23,721 bytes +24‎ →‎Naive set theory: Clarified precedence further undo

curprev 08:2808:28, 19 June 2023‎ Jags1111 talk contribs‎ m 23,697 bytes −2‎ (sentences of the form "if A, then B") is called "conditional proof". undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

curprev 17:2617:26, 1 March 2023‎ Citation bot talk contribs‎ 23,699 bytes +34‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 104/377 undo

curprev 11:4611:46, 27 November 2022‎ The Eloquent Peasant talk contribs‎ 23,665 bytes +69‎ Adding local short description: "Mathematical paradox named after Haskell Curry", overriding Wikidata description "a paradox in which an arbitrary claim F is proved from the mere existence of a sentence C that says of itself “If C, then F”" undo Tag: Shortdesc helper

curprev 15:0815:08, 26 July 2022‎ Jochen Burghardt talk contribs‎ 23,596 bytes −1‎ Undid revision 1100492088 by DiGrande (talk): was right before undo Tag: Undo
curprev 06:0106:01, 26 July 2022‎ DiGrande talk contribs‎ 23,597 bytes +1‎ Minor fix undo Tags: Reverted Visual edit Mobile edit Mobile web edit Disambiguation links added

curprev 16:4916:49, 10 May 2022‎ Jochen Burghardt talk contribs‎ 23,596 bytes −94‎ rm duplicate links undo
curprev 14:1814:18, 10 May 2022‎ Mattavatar talk contribs‎ m 23,690 bytes +21‎ Adds links to referenced topics undo

curprev 04:3404:34, 21 June 2021‎ 100.15.146.148 talk‎ 23,669 bytes +4‎ 'the' rule undo
curprev 04:3104:31, 21 June 2021‎ 100.15.146.148 talk‎ 23,665 bytes −3‎ delete extra word undo

curprev 19:0719:07, 14 June 2021‎ Hellacioussatyr talk contribs‎ 23,668 bytes −3‎ {{block indent}} doesn't play well with narrow screens. switched to display="block" for <math>; changed citation location undo Tag: 2017 wikitext editor

curprev 15:0515:05, 23 May 2021‎ Rsjaffe talk contribs‎ m 23,671 bytes +2‎ clean up, typo(s) fixed: Therefore → Therefore,, However → However, undo Tag: AWB

curprev 18:2518:25, 28 April 2021‎ Bender the Bot talk contribs‎ m 23,669 bytes +1‎ →‎Consequences for some formal logic: HTTP → HTTPS for the American Mathematical Society, replaced: =http://www.ams.org/ → =https://www.ams.org/ undo Tag: AWB

curprev 18:3218:32, 4 April 2021‎ Citation bot talk contribs‎ 23,668 bytes +138‎ Alter: url. URLs might have been anonymized. Add: doi, jstor, archive-date, archive-url, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Pages linked from cached Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | via #UCB_webform_linked 74/135 undo

curprev 18:3618:36, 27 December 2020‎ Monkbot talk contribs‎ m 23,530 bytes +2‎ Task 18 (cosmetic): eval 8 templates: hyphenate params (2×); undo Tag: AWB

curprev 04:0604:06, 7 December 2020‎ Monkbot talk contribs‎ m 23,528 bytes −9‎ Task 18 (cosmetic): eval 8 templates: del empty params (2×); hyphenate params (6×); undo Tag: AWB

curprev 11:4511:45, 3 December 2020‎ Jochen Burghardt talk contribs‎ 23,537 bytes +27‎ Undid revision 992006756 by 70.171.155.43 (talk): keep indication that this has just been shown; a true Y is allowed to be provable from a consistent theory undo Tag: Undo
curprev 00:0700:07, 3 December 2020‎ 70.171.155.43 talk‎ 23,510 bytes −27‎ →‎Naive set theory undo Tags: Reverted Visual edit

curprev 00:4900:49, 12 October 2020‎ Tom.Reding talk contribs‎ m 23,537 bytes +2‎ last-author-amp=y/yes → name-list-style=amp; etc. undo Tag: AWB

curprev 21:2821:28, 5 September 2020‎ 144.121.166.97 talk‎ 23,535 bytes −6‎ →‎Discussion undo

curprev 20:0320:03, 26 August 2020‎ Jochen Burghardt talk contribs‎ 23,541 bytes −4‎ →‎Discussion: linked in prev. paragr. undo

curprev 11:1811:18, 17 August 2020‎ PointlessUsername talk contribs‎ m 23,545 bytes −54‎ →‎Discussion undo Tag: Visual edit

curprev 19:5219:52, 31 July 2020‎ InternetArchiveBot talk contribs‎ 23,599 bytes +43‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.1 undo

curprev 17:1417:14, 19 July 2020‎ Jochen Burghardt talk contribs‎ 23,556 bytes +6‎ →‎top: italicize variables; rm WP:EASTEREGG: principle of explosion is not needed to prove an arbitrary F; a logic doesn't prove anything by itself, highly paid mathematicians are needed for such tasks undo
curprev 11:5311:53, 19 July 2020‎ Omnipaedista talk contribs‎ 23,550 bytes +1‎ →‎Lambda calculus undo

curprev 16:2216:22, 9 June 2020‎ Junkyardprince talk contribs‎ 23,549 bytes +1‎ →‎In natural language: typo in author's name undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 22:1722:17, 23 April 2020‎ JJMC89 bot III talk contribs‎ m 23,548 bytes +1‎ Moving Category:Mathematics paradoxes to Category:Mathematical paradoxes per Wikipedia:Categories for discussion/Log/2020 April 4#Category:Mathematics paradoxes undo

curprev 05:5605:56, 13 April 2020‎ OAbot talk contribs‎ m 23,547 bytes +17‎ Open access bot: doi added to citation with #oabot. undo

curprev 10:2510:25, 6 April 2020‎ WOSlinker talk contribs‎ 23,530 bytes +19‎ use br instead of p undo

curprev 01:3601:36, 29 August 2019‎ 68.13.195.42 talk‎ 23,511 bytes −11‎ provable .. neither .. nor is hard to read use not .. either or undo

curprev 17:4317:43, 25 August 2019‎ AnomieBOT talk contribs‎ m 23,522 bytes +17‎ Dating maintenance tags: {{Disputed section}} undo
curprev 16:5316:53, 25 August 2019‎ Jochen Burghardt talk contribs‎ 23,505 bytes +21‎ →‎Resolution: I guess, there is no source since the text is very dubious undo
curprev 09:4709:47, 25 August 2019‎ Omnipaedista talk contribs‎ 23,484 bytes −4‎ No edit summary undo

curprev 19:4419:44, 23 August 2019‎ AnomieBOT talk contribs‎ m 23,488 bytes +17‎ Dating maintenance tags: {{Unreferenced}} undo
curprev 19:2419:24, 23 August 2019‎ JWilk talk contribs‎ 23,471 bytes +26‎ →‎Resolution: add {{Unreferenced|section}} undo

curprev 12:2012:20, 24 June 2019‎ 138.232.66.120 talk‎ 23,445 bytes +1‎ →‎Lambda calculus undo

curprev 03:2703:27, 17 June 2019‎ 2601:140:8000:a739:f82c:a9c7:6973:19eb talk‎ 23,444 bytes +1‎ →‎Lambda calculus: Fix typo undo Tags: Mobile edit Mobile web edit

curprev 13:4713:47, 29 May 2019‎ Jochen Burghardt talk contribs‎ 23,443 bytes +2,127‎ →‎Combinatory logic: add computer-generated demonstration of (rr)=(m(rr)Z) undo

27 June 2024

20 June 2024

8 June 2024

28 May 2024

18 March 2024

25 February 2024

19 February 2024

14 January 2024

9 December 2023

7 August 2023

6 August 2023

19 June 2023

1 March 2023

27 November 2022

26 July 2022

10 May 2022

21 June 2021

14 June 2021

23 May 2021

28 April 2021

4 April 2021

27 December 2020

7 December 2020

3 December 2020

12 October 2020

5 September 2020

26 August 2020

17 August 2020

31 July 2020

19 July 2020

9 June 2020

23 April 2020

13 April 2020

6 April 2020

29 August 2019

25 August 2019

23 August 2019

24 June 2019

17 June 2019

29 May 2019