Craig's theorem: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

Find addition/removal ^(Alternate)
Find edits by user ^(Alternate)
Page statistics
Pageviews
Fix dead links

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 22:1722:17, 16 July 2024‎ Ncfavier talk contribs‎ m 4,319 bytes −3‎ →‎Primitive recursive axiomatizations: f is a function, not f(x) undo

curprev 09:4409:44, 7 April 2024‎ 79.166.9.54 talk‎ 4,322 bytes +187‎ Visual uniformity (all math expressions are braced by <math>s) undo Tags: Visual edit Mobile edit Mobile web edit

curprev 08:1508:15, 10 September 2023‎ The joy of all things talk contribs‎ 4,135 bytes +14‎ reflist missing undo

curprev 05:4205:42, 9 September 2023‎ C7XWiki talk contribs‎ 4,121 bytes +214‎ Alternate name undo

curprev 18:4418:44, 9 August 2023‎ Chinju talk contribs‎ m 3,907 bytes −47‎ Remove some redundancy. A_1 is itself of the given form, just the 1-ary case of it. undo

curprev 17:3417:34, 22 June 2023‎ 78.22.198.37 talk‎ 3,954 bytes +8‎ No edit summary undo

curprev 19:5519:55, 12 March 2023‎ Moriwen talk contribs‎ m 3,946 bytes +1‎ →‎Primitive recursive axiomatizations: Fix misspelling found by Wikipedia:Typo Team/moss – you can help! undo

curprev 12:4912:49, 21 April 2022‎ FrescoBot talk contribs‎ m 3,945 bytes −14‎ Bot: link syntax undo

curprev 22:4422:44, 16 September 2021‎ 71.121.229.162 talk‎ 3,959 bytes 0‎ →‎References undo

curprev 00:5400:54, 27 December 2020‎ Wforgodot talk contribs‎ 3,959 bytes 0‎ →‎Recursive axiomatization undo Tags: Manual revert Mobile edit Mobile web edit
curprev 00:4900:49, 27 December 2020‎ Wforgodot talk contribs‎ 3,959 bytes 0‎ →‎Recursive axiomatization undo Tags: Reverted Mobile edit Mobile web edit

curprev 18:3718:37, 30 March 2020‎ Jiarui Qu talk contribs‎ m 2,742 bytes 0‎ No edit summary undo Tag: Visual edit

curprev 20:4120:41, 8 April 2019‎ 82.8.128.79 talk‎ 2,742 bytes −5‎ No edit summary undo

curprev 08:2408:24, 4 April 2019‎ 79.107.104.246 talk‎ 2,747 bytes −4‎ No edit summary undo

curprev 18:1118:11, 7 March 2019‎ Knorlin talk contribs‎ 2,751 bytes +3‎ →‎References: Article on Craig lists him as a philosopher. William Lane Craig, also a philosopher, has a separate article but the links are fine. undo
curprev 18:0918:09, 7 March 2019‎ Knorlin talk contribs‎ m 2,748 bytes +3‎ Undid revision 886661841 by Knorlin (talk) undo Tag: Undo
curprev 18:0818:08, 7 March 2019‎ Knorlin talk contribs‎ 2,745 bytes −3‎ Corrected link to William Craig: the logician, not the philosopher undo

curprev 19:0519:05, 29 July 2017‎ 86.139.80.251 talk‎ 2,748 bytes +19‎ No edit summary undo

curprev 15:3915:39, 27 September 2016‎ 5.2.200.163 talk‎ 2,729 bytes +19‎ No edit summary undo

curprev 18:1718:17, 4 September 2014‎ David Eppstein talk contribs‎ 2,710 bytes +109‎ eponym undo

curprev 06:5806:58, 7 November 2012‎ Gregbard talk contribs‎ m 2,601 bytes +4‎ Deductive closure using AWB undo

curprev 22:3822:38, 18 October 2011‎ RDBury talk contribs‎ 2,597 bytes +21‎ More specific cat. undo

curprev 19:5919:59, 14 February 2011‎ Cydebot talk contribs‎ m 2,576 bytes +4‎ Robot - Moving category Recursion theory to Computability theory per CFD at Wikipedia:Categories for discussion/Log/2011 February 5. undo

curprev 12:4712:47, 22 February 2010‎ CBM talk contribs‎ 2,572 bytes −4‎ →‎[[WP:LEAD|Lede]]: tone undo
curprev 12:4612:46, 22 February 2010‎ CBM talk contribs‎ 2,576 bytes +1,093‎ split proof undo

curprev 16:0216:02, 13 November 2009‎ CBM2 talk contribs‎ 1,483 bytes −32‎ →‎References: rm parent cat undo

curprev 23:0823:08, 10 April 2009‎ Giftlite talk contribs‎ 1,515 bytes +29‎ →‎References: wlink undo
curprev 23:0223:02, 10 April 2009‎ Giftlite talk contribs‎ 1,486 bytes +35‎ +Category:Mathematical theorems undo
curprev 23:0123:01, 10 April 2009‎ Giftlite talk contribs‎ m 1,451 bytes 0‎ mv . undo

curprev 17:5517:55, 23 June 2008‎ Nortexoid talk contribs‎ 1,451 bytes −265‎ Undid revision 221218218 by 218.215.181.214 (talk) undo
curprev 15:4815:48, 23 June 2008‎ 218.215.181.214 talk‎ 1,716 bytes +265‎ No edit summary undo

curprev 07:2807:28, 12 May 2008‎ 143.248.92.94 talk‎ 1,451 bytes 0‎ Undid revision 211818731 by 143.248.90.112 (talk) undo
curprev 06:5706:57, 12 May 2008‎ 143.248.90.112 talk‎ 1,451 bytes 0‎ No edit summary undo

curprev 18:5318:53, 4 May 2008‎ 129.100.75.90 talk‎ 1,451 bytes +1‎ No edit summary undo

curprev 23:0823:08, 20 February 2008‎ Gregbard talk contribs‎ m 1,450 bytes +2‎ wff using AWB undo

curprev 05:0005:00, 2 February 2007‎ Oleg Alexandrov talk contribs‎ m 1,448 bytes +12‎ links undo

curprev 19:0319:03, 1 February 2007‎ Nortexoid talk contribs‎ m 1,436 bytes +2‎ No edit summary undo
curprev 07:3507:35, 1 February 2007‎ Nortexoid talk contribs‎ 1,434 bytes +1,401‎ initial stub undo

curprev 12:5312:53, 16 December 2006‎ Charles Matthews talk contribs‎ m 33 bytes +33‎ ←Redirected page to Craig interpolation

16 July 2024

7 April 2024

10 September 2023

9 September 2023

9 August 2023

22 June 2023

12 March 2023

21 April 2022

16 September 2021

27 December 2020

22 September 2020

30 March 2020

8 April 2019

4 April 2019

7 March 2019

29 July 2017

27 September 2016

4 September 2014

7 November 2012

18 October 2011

14 February 2011

22 February 2010

13 November 2009

10 April 2009

23 June 2008

12 May 2008

4 May 2008

20 February 2008

2 February 2007

1 February 2007

16 December 2006