Primitive recursive arithmetic: 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:0617:06, 12 October 2012 Yobot talk contribs m 6,408 bytes −15 WP:CHECKWIKI error 61 fix, References after punctuation per WP:REFPUNC and WP:PAIC using AWB (8459) undo

curprev 23:0023:00, 22 February 2012 Cydebot talk contribs m 6,423 bytes +1 Robot - Moving category Mathematical constructivism to Category:Constructivism (mathematics) per CFD at Wikipedia:Categories for discussion/Log/2012 February 15. undo

curprev 11:4711:47, 31 October 2011 CBM talk contribs m 6,422 bytes −11 →References: Keep the original citation formatting undo
curprev 08:4408:44, 31 October 2011 Ohconfucius talk contribs m 6,433 bytes +1 General formatting, inc. removal of superscripted ordinals undo

curprev 09:3909:39, 18 October 2011 Eugepros talk contribs 6,432 bytes −13 No edit summary undo

curprev 13:3513:35, 15 February 2011 146.50.29.219 talk 6,445 bytes 0 →Language and axioms undo

curprev 16:5416:54, 18 December 2010 Heysan talk contribs 6,445 bytes +42 →Logic-free calculus: introduced notation 'term' undo

curprev 03:0203:02, 8 November 2010 174.119.186.126 talk 6,403 bytes +38 →See also: +ERA undo
curprev 03:0003:00, 8 November 2010 174.119.186.126 talk 6,365 bytes +87 →Logic-free calculus: clarify induction/substitution rules a bit undo

curprev 21:1921:19, 28 August 2010 70.247.164.231 talk 6,278 bytes +4 sudden unexplained jump in the formalism that needs explanation undo

curprev 11:2611:26, 7 March 2010 62.194.183.233 talk 6,274 bytes +37 Perhaps uglier wikicode, but much more beautiful appearance in the article undo

curprev 14:3714:37, 24 February 2010 The Anome talk contribs 6,237 bytes +4 natural numbers undo

curprev 03:5203:52, 4 December 2009 Gregbard talk contribs 6,233 bytes +22 →Language and axioms: tautology using AWB undo
curprev 02:3102:31, 4 December 2009 CBM talk contribs 6,211 bytes +17 →[[WP:LEAD|Lede]]: title of paper undo

curprev 18:0418:04, 23 November 2009 Fratrep talk contribs 6,194 bytes +20 Repairing link to disambiguation page - You can help! undo

curprev 14:5214:52, 13 November 2009 CBM2 talk contribs 6,174 bytes +43 →External links: cat undo

curprev 07:1407:14, 25 October 2009 Sligocki talk contribs m 6,131 bytes +2 →Language and axioms: space out expression undo

curprev 22:4722:47, 19 February 2009 Floquenbeam talk contribs m 6,129 bytes +23 Disambiguate Equality to Equality (mathematics) using popups undo

curprev 08:2908:29, 7 February 2009 207.241.239.70 talk 6,106 bytes +98 link directly to proof theoretic ordinal and describe PRA's undo

curprev 18:2718:27, 14 January 2009 Giftlite talk contribs m 6,008 bytes +3 →Logic-free calculus: +3. undo
curprev 18:2618:26, 14 January 2009 Giftlite talk contribs m 6,005 bytes 0 mv elinks down undo

curprev 15:0415:04, 13 January 2009 84.72.90.210 talk 6,005 bytes +1 →Logic-free calculus: spelling undo

curprev 05:2605:26, 24 November 2008 Jeffreykegler talk contribs 6,004 bytes −1 →Logic-free calculus: Fix typo undo

curprev 11:1011:10, 2 September 2008 SmackBot talk contribs m 6,005 bytes −1 Standard headings/general fixes undo

curprev 09:3609:36, 1 September 2008 75.62.4.102 talk 6,006 bytes +49 add synonym undo

curprev 20:1120:11, 21 August 2008 CBM talk contribs 5,957 bytes −38 →[[WP:LEAD|Lede]]: rephrse slightly undo

curprev 20:3820:38, 29 June 2008 SpellingBot talk contribs m 5,995 bytes 0 repsectively → respectively undo

curprev 15:2815:28, 27 June 2008 Unzerlegbarkeit talk contribs m 5,995 bytes +4 oops undo
curprev 15:2815:28, 27 June 2008 Unzerlegbarkeit talk contribs m 5,991 bytes −21 finitary -> finitism/finitist - finitary might be taken to mean something else. undo
curprev 15:0715:07, 27 June 2008 Unzerlegbarkeit talk contribs 6,012 bytes +259 Fold "discussion" into the first paragraph; reorg ref and expand a bit undo
curprev 14:5014:50, 27 June 2008 Unzerlegbarkeit talk contribs 5,753 bytes +1,910 →Logic-free calculus: expand section undo

curprev 23:4423:44, 25 June 2008 SmackBot talk contribs m 3,843 bytes +17 Date the maintenance tags or general fixes undo

curprev 20:4720:47, 24 June 2008 Unzerlegbarkeit talk contribs 3,826 bytes +279 Initial mention of logic-free mathematics. undo

curprev 19:0719:07, 19 April 2008 David Eppstein talk contribs m 3,547 bytes +20 →Discussion: link Tait undo

curprev 01:3301:33, 3 April 2008 Goldencako talk contribs 3,527 bytes +27 →Language and axioms: correcting redirect undo

curprev 21:0421:04, 12 February 2008 Gregbard talk contribs m 3,500 bytes +4 formal system using AWB undo

curprev 13:4513:45, 28 January 2008 Hans Adler talk contribs 3,496 bytes 0 link housekeeping undo

curprev 08:4808:48, 13 November 2007 132.181.160.42 talk 3,496 bytes +120 →Language and axioms: add many links undo
curprev 05:5005:50, 13 November 2007 132.181.160.42 talk 3,376 bytes +35 →See also: add link undo
curprev 05:4505:45, 13 November 2007 132.181.160.42 talk 3,341 bytes +85 →Discussion: cite Skolem (1923); style edits undo
curprev 05:3805:38, 13 November 2007 132.181.160.42 talk 3,256 bytes +227 →References: add Skolem reference undo

curprev 12:2912:29, 12 November 2007 132.181.160.42 talk 3,029 bytes +61 many style edits; reformat undo

curprev 08:3808:38, 3 September 2007 71.184.4.152 talk 2,968 bytes +345 References on the question of what is finitary reasoning. undo

curprev 17:0617:06, 22 July 2007 200.164.220.194 talk 2,623 bytes +11 →Language and axioms: center dot on TeX , for multiplication undo

curprev 06:0106:01, 15 March 2007 Silverhill talk contribs m 2,612 bytes 0 corrected typo in correction undo

curprev 15:3615:36, 18 January 2007 Peterdjones talk contribs 2,612 bytes 0 →Language and axioms undo

curprev 21:0521:05, 24 August 2006 192.75.48.150 talk 2,612 bytes +34 →Language and axioms: Eep! Can't omit this in zeroth order logic. undo
curprev 20:0320:03, 24 August 2006 192.75.48.150 talk 2,578 bytes +42 +cat constructivism (IMO subcat finitism, but not enough articles for that subcat yet) undo
curprev 20:0020:00, 24 August 2006 192.75.48.150 talk 2,536 bytes +2,494 First pass; definition. No history, and minimal discussion undo

curprev 16:2116:21, 23 August 2006 Avytipat talk contribs m 42 bytes +42 Deserves its own article, eventually

Primitive recursive arithmetic: Revision history

12 October 2012

22 February 2012

31 October 2011

18 October 2011

15 February 2011

18 December 2010

8 November 2010

28 August 2010

7 March 2010

24 February 2010

4 December 2009

23 November 2009

13 November 2009

25 October 2009

19 February 2009

7 February 2009

14 January 2009

13 January 2009

24 November 2008

2 September 2008

1 September 2008

21 August 2008

29 June 2008

27 June 2008

25 June 2008

24 June 2008

19 April 2008

3 April 2008

12 February 2008

28 January 2008

13 November 2007

12 November 2007

3 September 2007

22 July 2007

15 March 2007

18 January 2007

24 August 2006

23 August 2006