McCarthy Formalism: Revision history

29 January 2023

• curprev 19:1119:11, 29 January 2023 OAbot talk contribs m 9,010 bytes +18 Open access bot: doi added to citation with #oabot. undo

4 January 2023

• curprev 15:0615:06, 4 January 2023 Nairboon talk contribs m 8,992 bytes +127 link to first reference & add doi undo

20 March 2021

• curprev 20:3320:33, 20 March 2021 Beland talk contribs m 8,865 bytes −2 convert special characters (via WP:JWB) undo

2 June 2020

• curprev 02:4102:41, 2 June 2020 JJJerr12 talk contribs 8,867 bytes −2 →McCarthy's notion of conditional expression: punctuation on pull quotes undo Tag: Visual edit

12 August 2018

• curprev 09:4809:48, 12 August 2018 DKordic talk contribs m 8,869 bytes +21 No edit summary undo
• curprev 09:4109:41, 12 August 2018 DKordic talk contribs m 8,848 bytes +38 No edit summary undo

28 July 2018

• curprev 01:0701:07, 28 July 2018 AvalerionV talk contribs 8,810 bytes −18 No edit summary undo

20 June 2017

• curprev 00:5100:51, 20 June 2017 CBM talk contribs m 8,828 bytes +4 Manually reviewed edit to replace magic words per local rfc undo

23 April 2016

• curprev 08:0008:00, 23 April 2016 Quale talk contribs 8,824 bytes +158 →Expansion of IF-THEN-ELSE to the CASE operator: use template math undo
• curprev 06:0006:00, 23 April 2016 Quale talk contribs 8,666 bytes +143 →Expansion of IF-THEN-ELSE to the CASE operator: tweak inline math undo

25 March 2015

• curprev 20:4220:42, 25 March 2015 Gregsul talk contribs m 8,523 bytes +10 added word "functions" between "defining" and "recursively", after checking online version of paper. undo

12 March 2015

• curprev 17:5517:55, 12 March 2015 Darius Bacon talk contribs 8,513 bytes +165 Supply reference undo

12 October 2013

• curprev 05:1405:14, 12 October 2013 Scgtrp talk contribs m 8,348 bytes −4 grammar undo

8 March 2013

• curprev 22:4822:48, 8 March 2013 BG19bot talk contribs m 8,352 bytes 0 WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB undo

27 January 2013

• curprev 19:0019:00, 27 January 2013 CarrieVS talk contribs 8,352 bytes +29 Repairing links to disambiguation pages - You can help! undo

31 December 2012

• curprev 08:2708:27, 31 December 2012 Tabletop talk contribs m 8,323 bytes +1 Spell operaton => operation (29) undo

19 October 2012

• curprev 00:5400:54, 19 October 2012 BD2412 talk contribs 8,322 bytes +26 Disambiguated: substitution → substitution of variables undo

7 July 2012

• curprev 03:0903:09, 7 July 2012 Tabletop talk contribs m 8,296 bytes +1 Spell ambigous => ambiguous (13) undo

8 May 2012

• curprev 10:2410:24, 8 May 2012 Helpful Pixie Bot talk contribs m 8,295 bytes +1 ISBNs (Build KF) undo

8 March 2012

• curprev 00:1200:12, 8 March 2012 1ForTheMoney talk contribs m 8,294 bytes −51 Remove {{expert-subject}} per TFD holding cell undo

16 February 2011

• curprev 22:5222:52, 16 February 2011 Wvbailey talk contribs 8,345 bytes 0 →Expansion of IF-THEN-ELSE to the CASE operator: Kleene uses "substitution", not "composition" undo
• curprev 22:4922:49, 16 February 2011 Wvbailey talk contribs 8,345 bytes +813 →Minsky's explanation of the "formalism": Kleene uses the word "substitution" undo

14 February 2011

• curprev 20:0020:00, 14 February 2011 Cydebot talk contribs m 7,532 bytes +4 Robot - Moving category Recursion theory to Computability theory per CFD at Wikipedia:Categories for discussion/Log/2011 February 5. undo
• curprev 03:2503:25, 14 February 2011 189.140.162.178 talk 7,528 bytes −13 →Expansion of IF-THEN-ELSE to the CASE operator: further small corrections undo
• curprev 03:1803:18, 14 February 2011 189.140.162.178 talk 7,541 bytes +81 →Expansion of IF-THEN-ELSE to the CASE operator: made some corrections but I need to take a look on Kleene's Metamathematics to see his notation. See discussion. undo

10 September 2010

• curprev 00:3500:35, 10 September 2010 LilHelpa talk contribs m 7,460 bytes +1 →Expansion of IF-THEN-ELSE to the CASE operator: General fixes and Typo fixing, typos fixed: statments → statements using AWB undo

5 September 2010

• curprev 12:2312:23, 5 September 2010 Rich Farmbrough talk contribs m 7,459 bytes +35 →References: Minor cean up. using AWB undo

3 August 2010

• curprev 16:1416:14, 3 August 2010 Rich Farmbrough talk contribs m 7,424 bytes −42 Double pipe and general fixes. using AWB undo

27 May 2010

• curprev 19:4119:41, 27 May 2010 198.30.170.251 talk 7,466 bytes 0 No edit summary undo

23 November 2009

• curprev 18:0218:02, 23 November 2009 Fratrep talk contribs 7,466 bytes +11 Repairing link to disambiguation page - You can help! undo

5 November 2009

• curprev 15:0515:05, 5 November 2009 Wvbailey talk contribs m 7,455 bytes −1 →Minsky's explanation of the "formalism": fix 2 typos undo

7 September 2009

• curprev 20:3720:37, 7 September 2009 Wvbailey talk contribs 7,456 bytes −1,191 →Expansion of IF-THEN-ELSE to the CASE operator: have moved some of this over to the "Switch statement" article undo

1 September 2009

• curprev 17:3817:38, 1 September 2009 Wvbailey talk contribs 8,647 bytes +94 →Expansion of IF-THEN-ELSE to the CASE operator: put in-line references into Harvard form undo
• curprev 17:3217:32, 1 September 2009 Wvbailey talk contribs m 8,553 bytes −1 →Minsky's explanation of the "formalism": fix typo undo
• curprev 17:3117:31, 1 September 2009 Wvbailey talk contribs 8,554 bytes +42 →Expansion of IF-THEN-ELSE to the CASE operator undo
• curprev 17:2817:28, 1 September 2009 Wvbailey talk contribs 8,512 bytes +52 →MaCarthy's notion of conditional expression: add footnote to the point that the 1963 reference has not been located undo
• curprev 17:1717:17, 1 September 2009 Wvbailey talk contribs 8,460 bytes +1,473 →Introduction: add link to Case instruction, add more Minsky quote, juggle section undo

24 August 2009

• curprev 09:3909:39, 24 August 2009 1ForTheMoney talk contribs m 6,987 bytes +19 Replacing {{expert}} with {{expert-subject}}. undo

20 August 2009

• curprev 03:2003:20, 20 August 2009 RobinK talk contribs 6,968 bytes −31 Removed unneeded general category "Computer science" undo

31 July 2009

• curprev 17:4717:47, 31 July 2009 Wvbailey talk contribs 6,999 bytes +67 put "need for expert" at head of article undo
• curprev 17:4317:43, 31 July 2009 Wvbailey talk contribs 6,932 bytes +870 →Introduction: add more from B-B-J 2002 undo
• curprev 02:2802:28, 31 July 2009 Wvbailey talk contribs 6,062 bytes +725 Add information etc from Boolos-Burgess-Jeffrey undo

19 February 2009

• curprev 09:3909:39, 19 February 2009 SmackBot talk contribs m 5,337 bytes +19 Date maintenance tags and general fixes undo

17 August 2007

• curprev 19:1819:18, 17 August 2007 Burzmali talk contribs m 5,318 bytes +35 Disambiguate John McCarthy to John McCarthy (computer scientist) using popups undo

2 July 2007

• curprev 01:4001:40, 2 July 2007 Wvbailey talk contribs m 5,283 bytes −30 →Introduction: repair attribution error undo
• curprev 01:3601:36, 2 July 2007 Wvbailey talk contribs 5,313 bytes +204 →Introduction: add a bit undo
• curprev 01:2001:20, 2 July 2007 Wvbailey talk contribs 5,109 bytes +80 →Introduction: repair a host of typos and add a bit of definition to "sg( )" and "~sg( )" undo

28 May 2007

• curprev 15:0315:03, 28 May 2007 Wvbailey talk contribs 5,029 bytes −7 →Introduction: clean up some typos in a quote, add "request for expert" label undo
• curprev 03:1603:16, 28 May 2007 Crystallina talk contribs 5,036 bytes +1 Spelling: intial ==> initial. You can help! undo

6 May 2007

• curprev 02:3002:30, 6 May 2007 Gioto talk contribs m 5,035 bytes −39 →Introduction: clean up undo