Mathematical induction: 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 07:5007:50, 3 April 2024‎ Jochen Burghardt talk contribs‎ 47,943 bytes −4‎ Undid revision 1216948366 by 151.231.67.198 (talk) undo Tag: Undo

curprev 22:2222:22, 2 April 2024‎ 151.231.67.198 talk‎ 47,947 bytes +4‎ No edit summary undo Tag: Reverted

curprev 04:5204:52, 23 March 2024‎ 128.235.13.0 talk‎ 47,943 bytes +1‎ Fixed typo undo Tags: Mobile edit Mobile web edit

curprev 12:4812:48, 21 March 2024‎ Magyar25 talk contribs‎ 47,942 bytes +5‎ No edit summary undo Tag: Visual edit
curprev 12:4612:46, 21 March 2024‎ Magyar25 talk contribs‎ 47,937 bytes +122‎ Phrasing undo Tag: Visual edit

curprev 01:3201:32, 18 February 2024‎ HeartCat1 talk contribs‎ 47,815 bytes −9‎ Undid revision 1208570581 by 68.104.59.208 (talk) undo Tag: Undo
curprev 01:3201:32, 18 February 2024‎ 68.104.59.208 talk‎ 47,824 bytes +9‎ I shared a personal opinion undo Tags: Reverted Mobile edit Mobile web edit

curprev 17:5717:57, 10 February 2024‎ Edemaine talk contribs‎ 47,815 bytes +152‎ →‎Formalization {{anchor|Axiom of induction}}: Link to where to find a proof of induction via ZF undo

curprev 20:3120:31, 21 January 2024‎ Jochen Burghardt talk contribs‎ 47,663 bytes 0‎ Undid revision 1197719122 by 50.47.209.17 (talk) undo Tag: Undo
curprev 17:4517:45, 21 January 2024‎ 50.47.209.17 talk‎ 47,663 bytes 0‎ →‎Base case other than 0 or 1 undo Tag: Reverted

curprev 23:4823:48, 19 December 2023‎ DMH223344 talk contribs‎ 47,663 bytes +150‎ expand on definition undo Tag: Visual edit

curprev 14:2414:24, 28 September 2023‎ Doomcastle18 talk contribs‎ m 47,513 bytes 0‎ →‎A trigonometric inequality undo Tag: 2017 wikitext editor

curprev 06:1906:19, 16 September 2023‎ InternetArchiveBot talk contribs‎ 47,513 bytes +124‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

curprev 21:2021:20, 13 September 2023‎ George Rodney Maruri Game talk contribs‎ 47,389 bytes +34‎ Dead link undo

curprev 19:1119:11, 28 August 2023‎ Jochen Burghardt talk contribs‎ 47,355 bytes +3‎ No edit summary undo Tag: Undo
curprev 13:0213:02, 28 August 2023‎ 84.124.250.230 talk‎ 47,352 bytes 0‎ →‎Example: forming dollar amounts by coins undo Tag: Reverted
curprev 13:0213:02, 28 August 2023‎ 84.124.250.230 talk‎ 47,352 bytes −2‎ →‎Example: forming dollar amounts by coins undo Tag: Reverted
curprev 13:0113:01, 28 August 2023‎ 84.124.250.230 talk‎ 47,354 bytes −1‎ →‎Example: forming dollar amounts by coins undo Tag: Reverted

curprev 09:0809:08, 19 August 2023‎ Jochen Burghardt talk contribs‎ 47,355 bytes +16‎ Undid revision 1171133503 by 221.127.76.225 (talk) undo Tag: Undo
curprev 06:3706:37, 19 August 2023‎ 221.127.76.225 talk‎ 47,339 bytes −16‎ →‎Sum of consecutive natural numbers undo Tag: Reverted

curprev 08:1008:10, 11 August 2023‎ Jochen Burghardt talk contribs‎ 47,355 bytes −5‎ Undid revision 1169780136 by KKH.tw (talk) undo Tag: Undo
curprev 06:5306:53, 11 August 2023‎ KKH.tw talk contribs‎ 47,360 bytes +5‎ Fixed typo. undo Tags: Reverted Mobile edit Mobile web edit

curprev 02:4702:47, 20 June 2023‎ Hellacioussatyr talk contribs‎ 47,355 bytes +811‎ No edit summary undo Tag: Visual edit

curprev 15:3115:31, 30 May 2023‎ Michael Hardy talk contribs‎ 46,544 bytes −1‎ →‎History undo
curprev 15:3015:30, 30 May 2023‎ Michael Hardy talk contribs‎ 46,545 bytes −1‎ →‎Equivalence with ordinary induction undo
curprev 14:4214:42, 30 May 2023‎ 173.11.52.249 talk‎ 46,546 bytes +7‎ →‎Formalization {{anchor|Axiom of induction}} undo

curprev 13:2413:24, 29 May 2023‎ Jochen Burghardt talk contribs‎ 46,539 bytes +204‎ Undid revision 1157489654 by Thomas Meng (talk) the new proof is flawed (e.g. (S(13),S(13),S(14) needn't be shown again in the induction step) undo Tag: Undo
curprev 13:1813:18, 29 May 2023‎ Jochen Burghardt talk contribs‎ 46,335 bytes −47‎ Undid revision 1157469245 by Thomas Meng (talk): n no longer appears in the instantiated formula P(0) undo Tag: Undo

curprev 23:5923:59, 28 May 2023‎ Thomas Meng talk contribs‎ 46,382 bytes −204‎ →‎Example: dollar amounts revisited: made proof conform with source undo Tag: Reverted
curprev 23:3323:33, 28 May 2023‎ Thomas Meng talk contribs‎ m 46,586 bytes 0‎ →‎Example: dollar amounts revisited: ce undo
curprev 23:3323:33, 28 May 2023‎ Thomas Meng talk contribs‎ 46,586 bytes +276‎ →‎Example: dollar amounts revisited: inserted source for unsourced content undo
curprev 20:3820:38, 28 May 2023‎ Thomas Meng talk contribs‎ 46,310 bytes +47‎ →‎A trigonometric inequality: improved clarity undo Tag: Reverted

curprev 08:1908:19, 9 May 2023‎ WikiCleanerBot talk contribs‎ m 46,056 bytes 0‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 20:3720:37, 6 May 2023‎ Jochen Burghardt talk contribs‎ 46,056 bytes +40‎ →‎Limited Mathematical Induction: italicize variables undo
curprev 19:2219:22, 6 May 2023‎ Gödel2200 talk contribs‎ 46,016 bytes +6‎ changed "has" to "satisfies" undo Tag: Visual edit
curprev 19:1919:19, 6 May 2023‎ Gödel2200 talk contribs‎ 46,010 bytes +441‎ Added brief section on limited mathematical induction undo Tag: Visual edit

curprev 10:3910:39, 26 April 2023‎ Shootingstarsa talk contribs‎ 45,143 bytes +189‎ The text originally claimed that Al-Karaji wrote 'Al Fakhri' which is a significantly later book. Added that the original work was lost but was referenced in al-Bahir fi'l-jabr which is supported by both of the existing references and also Al-Karaji's own wikipedia page. Also made it clearer why 'Katz' is a relevant source. undo Tag: Visual edit

curprev 16:1016:10, 6 April 2023‎ R'n'B talk contribs‎ m 44,954 bytes 0‎ Disambiguating links to Implication (link changed to Logical consequence) using DisamAssist. undo

3 April 2024

2 April 2024

23 March 2024

21 March 2024

18 February 2024

10 February 2024

21 January 2024

19 December 2023

28 September 2023

16 September 2023

13 September 2023

28 August 2023

19 August 2023

11 August 2023

20 June 2023

30 May 2023

29 May 2023

28 May 2023

27 May 2023

9 May 2023

6 May 2023

4 May 2023

26 April 2023

6 April 2023