Addition of natural numbers: 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 19:3519:35, 8 March 2018‎ The Transhumanist talk contribs‎ 56 bytes +18‎ Add template to categorize redirect using AWB undo

curprev 14:4814:48, 2 January 2011‎ Graham87 talk contribs‎ m 38 bytes 0‎ moved MediaWiki talk:Addition in N to Addition of natural numbers over redirect: revert undo
curprev 14:4814:48, 2 January 2011‎ Graham87 talk contribs‎ m 38 bytes 0‎ 1 revision from nost:Addition in N: import old edit undo
curprev 14:4814:48, 2 January 2011‎ Graham87 talk contribs‎ m 38 bytes 0‎ moved Addition of natural numbers to MediaWiki talk:Addition in N: import old edit, see User:Graham87/Import undo

curprev 12:4312:43, 12 April 2010‎ Anonymous Dissident talk contribs‎ 38 bytes +5‎ ←Redirected page to Addition#Natural numbers undo
curprev 12:3012:30, 12 April 2010‎ Anonymous Dissident talk contribs‎ 33 bytes −2,895‎ useless article; redundant to material covered well in addition undo

curprev 21:2021:20, 31 March 2010‎ Falcor84 talk contribs‎ 2,928 bytes +58‎ →‎Properties: added link to the article concerning the proofs of the properties undo

curprev 16:1816:18, 26 January 2010‎ SmackBot talk contribs‎ m 2,870 bytes +18‎ Date maintenance tags: build 391: undo
curprev 01:1001:10, 26 January 2010‎ RDBury talk contribs‎ 2,852 bytes +17‎ noreferences tag undo

curprev 15:2215:22, 25 January 2010‎ RDBury talk contribs‎ 2,835 bytes −165‎ →‎See also: Blank section, mislabeled External links section and linked material was not related to the subject. undo

curprev 15:1015:10, 23 January 2010‎ SmackBot talk contribs‎ m 3,000 bytes +18‎ Date maintenance tags: build 391:, undo

curprev 16:4616:46, 21 January 2010‎ CBM talk contribs‎ 2,982 bytes +35‎ →‎[[WP:LEAD|Lede]]: discussion link undo
curprev 00:0400:04, 21 January 2010‎ CBM talk contribs‎ 2,947 bytes +48‎ →‎[[WP:LEAD|Lede]]: propose merge undo
curprev 00:0300:03, 21 January 2010‎ CBM talk contribs‎ 2,899 bytes −251‎ Rm links to proofs subpage undo

curprev 15:3115:31, 1 November 2009‎ Welsh talk contribs‎ m 3,150 bytes −1‎ →‎See also: clean up using AWB undo

curprev 16:5316:53, 11 October 2008‎ MattTait talk contribs‎ 3,151 bytes −30‎ →‎Properties undo
curprev 16:5216:52, 11 October 2008‎ MattTait talk contribs‎ 3,181 bytes +171‎ →‎Properties undo

curprev 23:3023:30, 10 October 2008‎ MattTait talk contribs‎ 3,010 bytes +94‎ No edit summary undo
curprev 23:2823:28, 10 October 2008‎ MattTait talk contribs‎ 2,916 bytes −10‎ →‎Properties undo
curprev 23:2723:27, 10 October 2008‎ MattTait talk contribs‎ 2,926 bytes +114‎ →‎Definition undo
curprev 23:1823:18, 10 October 2008‎ MattTait talk contribs‎ 2,812 bytes +7‎ No edit summary undo

curprev 04:5204:52, 10 August 2008‎ TaBOT-zerem talk contribs‎ m 2,805 bytes +10‎ robot Modifying: fr:Addition dans l'arithmétique de Peano undo

curprev 21:0921:09, 27 May 2008‎ Zazpot talk contribs‎ 2,795 bytes +151‎ Clarified a couple of points in the definition & wikilinked 'recursion theorem' and 'maps' undo

curprev 22:3222:32, 29 April 2008‎ 208.4.152.131 talk‎ 2,644 bytes +152‎ →‎See also undo

curprev 10:2910:29, 26 November 2007‎ Salix alba talk contribs‎ 2,492 bytes +57‎ see also Addition of natural numbers/Proofs undo

curprev 07:5207:52, 12 November 2007‎ Sopoforic talk contribs‎ 2,435 bytes −9‎ clean up using AWB undo

curprev 19:5619:56, 23 September 2007‎ Aenar talk contribs‎ m 2,444 bytes +15‎ →‎Notation and terms: corrected link undo
curprev 03:0603:06, 23 September 2007‎ Aenar talk contribs‎ m 2,429 bytes +7‎ Corrected symbol undo
curprev 03:0303:03, 23 September 2007‎ Aenar talk contribs‎ 2,422 bytes −3,097‎ Small edits, and removal of the proofs again, since they are at Addition_of_natural_numbers/Proofs in a never version. undo

curprev 21:2021:20, 16 September 2007‎ 74.131.35.111 talk‎ 5,519 bytes +3,284‎ returned proof to page. This proof is referenced by proof by induction. undo

curprev 15:5015:50, 15 November 2006‎ 64.21.98.130 talk‎ 2,235 bytes −6‎ →‎Definition undo
curprev 15:4915:49, 15 November 2006‎ 64.21.98.130 talk‎ 2,241 bytes −6‎ →‎Notation and terms undo

curprev 17:0617:06, 16 August 2006‎ Henrygb talk contribs‎ m 2,247 bytes +4‎ →‎Notation and terms undo

curprev 09:2609:26, 1 August 2006‎ Toby Bartels talk contribs‎ m 2,243 bytes −7‎ Reverted edits by 62.150.137.218 (talk) to last version by WinBot undo

curprev 22:2322:23, 17 July 2006‎ 62.150.137.218 talk‎ 2,250 bytes +7‎ →‎Definition undo

curprev 10:1310:13, 15 July 2006‎ WinBot talk contribs‎ m 2,243 bytes −19‎ BOT - Unicodifying undo

curprev 14:1214:12, 12 July 2005‎ Ruud Koot talk contribs‎ 2,262 bytes +23‎ No edit summary undo
curprev 14:0014:00, 12 July 2005‎ Ruud Koot talk contribs‎ 2,239 bytes −3,280‎ No edit summary undo

curprev 22:1922:19, 17 April 2005‎ Linas talk contribs‎ m 5,519 bytes +11‎ change category to Category:Elementary arithmetic undo

curprev 11:0911:09, 25 March 2005‎ George Burgess talk contribs‎ m 5,508 bytes +2‎ →‎Notation and terms undo

curprev 20:0720:07, 12 February 2005‎ 61.195.111.90 talk‎ 5,506 bytes +24‎ +ja undo

curprev 08:3608:36, 26 January 2005‎ 219.215.180.130 talk‎ 5,482 bytes +2‎ →‎The properties undo

curprev 00:0300:03, 3 December 2004‎ Revolver talk contribs‎ 5,480 bytes +393‎ done...(I think/hope)... undo

curprev 22:2722:27, 1 December 2004‎ Revolver talk contribs‎ 5,087 bytes +254‎ we're almost done!...(left: case b = 1) undo
curprev 11:1611:16, 1 December 2004‎ Sligocki talk contribs‎ 4,833 bytes +99‎ →‎Proof of commutativity: finished proof undo
curprev 09:0409:04, 1 December 2004‎ Revolver talk contribs‎ 4,734 bytes +32‎ glaring mistake undo

curprev 07:4807:48, 29 November 2004‎ Revolver talk contribs‎ 4,702 bytes +1,122‎ does someone have a reliable proof of commutativity? I can't seem to hammer it out correctly at this time of night undo
curprev 06:4906:49, 29 November 2004‎ Revolver talk contribs‎ 3,580 bytes +1,465‎ talk page didn't work for me: several problems, (a) they aren't "axioms", it's a definition, and (b) proof of ! is wrong, it's based on the recursion theorem, not induction; replacing + with S undo

curprev 06:3706:37, 12 September 2004‎ Guanabot talk contribs‎ m 2,115 bytes +2‎ Guanaco - robot: <br> -> <br /> undo

curprev 05:4705:47, 24 August 2004‎ Eequor talk contribs‎ m 2,113 bytes −18‎ Decategorize. undo

8 March 2018

2 January 2011

12 April 2010

31 March 2010

26 January 2010

25 January 2010

23 January 2010

21 January 2010

1 November 2009

11 October 2008

10 October 2008

10 August 2008

27 May 2008

29 April 2008

26 November 2007

12 November 2007

23 September 2007

16 September 2007

15 November 2006

16 August 2006

1 August 2006

17 July 2006

15 July 2006

12 July 2005

17 April 2005

25 March 2005

12 February 2005

26 January 2005

3 December 2004

1 December 2004

29 November 2004

12 September 2004

24 August 2004