Combinatory logic: Revision history

26 May 2024

• curprev 02:4102:41, 26 May 2024‎ IznoRepeat talk contribs‎ m 41,433 bytes −8‎ remove Template:Date per documentation; genfixes undo Tag: AWB

14 April 2024

• curprev 02:4702:47, 14 April 2024‎ Swinub talk contribs‎ m 41,441 bytes +2‎ →‎Undefinability by predicates undo

10 April 2024

• curprev 00:0600:06, 10 April 2024‎ David Eppstein talk contribs‎ 41,439 bytes +193‎ not original research; provide citation with exactly this result undo

4 April 2024

• curprev 09:5909:59, 4 April 2024‎ EmilJ talk contribs‎ 41,246 bytes +397‎ →‎Undefinability by predicates: one more disclaimer undo

2 April 2024

• curprev 09:0809:08, 2 April 2024‎ AnomieBOT talk contribs‎ m 40,849 bytes +16‎ Dating maintenance tags: {{Original research section}} undo
• curprev 08:4708:47, 2 April 2024‎ EmilJ talk contribs‎ 40,833 bytes −2,018‎ rv and put a disclaimer on what remains. (1) This is a large chunk of unsourced original research (WP:V, WP:OR). That alone makes it a no-go. (2) Despite the deceptive claims, this argument does not in any way prove the undecidability of combinatorial logic, but a much, much weaker, essential trivial statement that has nothing to do with actual undecidability. undo

1 April 2024

• curprev 00:1100:11, 1 April 2024‎ Ronald Monson talk contribs‎ 42,851 bytes +2,415‎ Justification doesn't point to a single mistaken deduction in the deleted proof (stated reason - that obviously decidable problems are not definable in this way is irrelevant to this proof because the predicate is so different and encoding is being ignored). undo Tag: Undo
• curprev 00:0200:02, 1 April 2024‎ Ronald Monson talk contribs‎ 40,436 bytes −2,415‎ didn't add reason to reversion undo Tag: Undo

31 March 2024

• curprev 23:5823:58, 31 March 2024‎ Ronald Monson talk contribs‎ 42,851 bytes +2,415‎ Undid revision 1198945212 by EmilJ (talk) undo Tags: Undo Reverted

28 February 2024

• curprev 13:3713:37, 28 February 2024‎ Omnipaedista talk contribs‎ 40,436 bytes −23‎ not linked from the template undo

21 February 2024

• curprev 18:0718:07, 21 February 2024‎ Jarble talk contribs‎ 40,459 bytes +22‎ adding Template:Mathematical logic undo

25 January 2024

• curprev 13:1113:11, 25 January 2024‎ EmilJ talk contribs‎ 40,437 bytes −2,415‎ →‎Undecidability of combinatorial calculus: Remove nonsensical OR. This argument does not in any way prove the undecidability of the problem. Plenty of obviously decidable problems (e.g., “does a term start with K?”) are not definable in this way by a “predicate” either. undo Tag: Reverted

20 January 2024

• curprev 23:1323:13, 20 January 2024‎ BD2412 talk contribs‎ m 42,852 bytes −11‎ clean up spacing around commas and other punctuation fixes, replaced: ,and → , and , ,A → , A undo Tag: AWB

18 December 2023

• curprev 04:2604:26, 18 December 2023‎ InternetArchiveBot talk contribs‎ 42,863 bytes +135‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

26 September 2023

• curprev 10:0010:00, 26 September 2023‎ Marc Schroeder talk contribs‎ m 42,728 bytes −4‎ →‎See also undo
• curprev 09:5309:53, 26 September 2023‎ Marc Schroeder talk contribs‎ m 42,732 bytes +297‎ →‎External links: added an external link undo

24 September 2023

• curprev 14:2214:22, 24 September 2023‎ Marc Schroeder talk contribs‎ m 42,435 bytes +25‎ →‎Literature undo

17 September 2023

• curprev 22:2222:22, 17 September 2023‎ Marc Schroeder talk contribs‎ m 42,410 bytes 0‎ →‎Literature undo
• curprev 22:1722:17, 17 September 2023‎ Marc Schroeder talk contribs‎ m 42,410 bytes +498‎ →‎Literature undo Tag: harv-error
• curprev 18:1118:11, 17 September 2023‎ Marc Schroeder talk contribs‎ m 41,912 bytes −799‎ Brought all references to the alphabetical list and referenced them inline by {{sfn}} and {{harvtxt}}; removed redundant spaces and line feeds; undo

8 August 2023

• curprev 06:2106:21, 8 August 2023‎ Headbomb talk contribs‎ m 42,711 bytes −11‎ →‎Compilation of functional languages: clean up undo Tag: AWB

6 August 2023

• curprev 12:3412:34, 6 August 2023‎ Citation bot talk contribs‎ 42,722 bytes +18‎ Alter: title, template type. Add: date, chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 366/2306 undo

7 April 2023

• curprev 16:1916:19, 7 April 2023‎ Jochen Burghardt talk contribs‎ 42,704 bytes 0‎ Undid revision 1148666048 by 2A02:8108:7C0:B:40BB:2B41:62C4:35BA: was right before: x is the function, and y the argument, in "(x y)", likewise for modified x and modified y in "((x z) (y z))" undo Tag: Undo
• curprev 15:3615:36, 7 April 2023‎ 2a02:8108:7c0:b:40bb:2b41:62c4:35ba talk‎ 42,704 bytes 0‎ Possible typo: fixed which term is applied to what in the section defining the S combinator. undo Tags: Reverted Visual edit Mobile edit Mobile web edit

21 December 2022

• curprev 21:1321:13, 21 December 2022‎ Mikeblas talk contribs‎ m 42,704 bytes −4‎ convert cite journal to cite web undo

14 October 2022

• curprev 05:3605:36, 14 October 2022‎ Thatsme314 talk contribs‎ m 42,708 bytes +1‎ grammar (comma) undo

27 July 2022

• curprev 01:4001:40, 27 July 2022‎ Citation bot talk contribs‎ 42,707 bytes +77‎ Add: volume, s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 96/3850 undo

11 July 2022

• curprev 22:4422:44, 11 July 2022‎ DubleH talk contribs‎ 42,630 bytes +4‎ added "up to" link undo

30 May 2022

• curprev 20:1220:12, 30 May 2022‎ Jochen Burghardt talk contribs‎ 42,626 bytes −12‎ →‎Undecidability of combinatorial calculus: use "if" in definition undo
• curprev 19:2019:20, 30 May 2022‎ Hellacioussatyr talk contribs‎ 42,638 bytes −14‎ →‎Undecidability of combinatorial calculus undo Tags: Mobile edit Mobile web edit Advanced mobile edit

26 January 2022

• curprev 17:3117:31, 26 January 2022‎ BattyBot talk contribs‎ m 42,652 bytes −17‎ →‎Further reading: Fixed CS1 errors: extra text: volume and general fixes undo Tag: AWB

21 January 2022

• curprev 16:5416:54, 21 January 2022‎ A09 talk contribs‎ m 42,669 bytes −313‎ Undid edits by 81.167.4.189 (talk) to last revision by Jpbowen undo Tags: Undo SWViewer [1.4]
• curprev 16:5316:53, 21 January 2022‎ 81.167.4.189 talk‎ 42,982 bytes +2‎ →‎Summary of lambda calculus: Fixed typo undo Tags: Reverted canned edit summary Mobile edit Mobile app edit Android app edit

12 November 2021

• curprev 11:0611:06, 12 November 2021‎ (Username or IP removed)‎ 42,980 bytes +311‎ →‎References undo Tag: Reverted

3 September 2021

• curprev 14:5414:54, 3 September 2021‎ Jpbowen talk contribs‎ 42,669 bytes +497‎ Further reading entry, tidying, links undo

21 August 2021

• curprev 12:3812:38, 21 August 2021‎ François Robere talk contribs‎ 42,172 bytes 0‎ More relevant link undo

29 May 2021

• curprev 02:1802:18, 29 May 2021‎ 67.198.37.16 talk‎ 42,172 bytes −339‎ Remove Wolfram linkspam undo Tag: references removed

16 March 2021

• curprev 11:1811:18, 16 March 2021‎ ExcellentWheatFarmer talk contribs‎ 42,511 bytes +79‎ Importing Wikidata short description: "Logical formalism using combinators instead of variables" (Shortdesc helper) undo

13 March 2021

• curprev 17:3817:38, 13 March 2021‎ Blablubbs talk contribs‎ 42,432 bytes −249‎ rm refspam by sock, please see Special:Permalink/1011820571#Wolfram_refspam_cleanup undo

11 March 2021

• curprev 00:1300:13, 11 March 2021‎ Pursue Ewket talk contribs‎ m 42,681 bytes −48‎ sentence implied equivalence between intensional and extensional equality. undo Tag: Visual edit

7 March 2021

• curprev 22:4322:43, 7 March 2021‎ David Eppstein talk contribs‎ 42,729 bytes +4‎ Katalin Bimbó undo

22 February 2021

• curprev 22:5822:58, 22 February 2021‎ JayBeeEll talk contribs‎ 42,725 bytes −515‎ →‎External links: remove Wolfram spam undo
• curprev 19:0219:02, 22 February 2021‎ Duplo surrogate talk contribs‎ 43,240 bytes +220‎ →‎External links: Added the third post in the combinators trilogy written by Stephen Wolfram undo

4 February 2021

• curprev 16:1616:16, 4 February 2021‎ JKlug81 talk contribs‎ 43,020 bytes +138‎ →‎External links: Corrected misspelled name and added a new external link undo

14 January 2021

• curprev 18:2418:24, 14 January 2021‎ RunningToMars talk contribs‎ m 42,882 bytes +174‎ →‎External links undo
• curprev 18:1918:19, 14 January 2021‎ RunningToMars talk contribs‎ m 42,708 bytes −244‎ →‎Further reading undo Tag: Manual revert
• curprev 17:4217:42, 14 January 2021‎ RunningToMars talk contribs‎ m 42,952 bytes +244‎ →‎Further reading: Added recent Wolfram writings on combinatory Logic and it's use in computation undo Tag: Reverted

27 December 2020

• curprev 20:4820:48, 27 December 2020‎ Monkbot talk contribs‎ m 42,708 bytes +1‎ Task 18 (cosmetic): eval 18 templates: hyphenate params (14×); del |ref=harv (1×); cvt lang vals (1×); undo Tag: AWB

25 December 2020

• curprev 11:2811:28, 25 December 2020‎ Iridescent 2 talk contribs‎ m 42,707 bytes −1‎ →‎Conversion of a lambda term to an equivalent combinatorial term: Cleanup and typo fixing, typo(s) fixed: , → , undo Tag: AWB

13 October 2020

• curprev 16:1216:12, 13 October 2020‎ OrdinaryArtery talk contribs‎ 42,708 bytes +100‎ →‎Examples of combinators: Added references undo