History: Rayo's number

24 July 2024

• curprev 21:5621:56, 24 July 2024‎ P進大好きbot talk contribs‎ m 27,708 bytes 0‎ fixing typo Tag: Source edit

14 May 2024

• curprev 03:2903:29, 14 May 2024‎ Nuclear43 talk contribs‎ m 27,708 bytes −1‎ typo Tags: Manual revert Visual edit

4 May 2024

• curprev 15:4915:49, 4 May 2024‎ Khang2009 talk contribs‎ m 27,709 bytes +1‎ *iff Tag: Reverted

21 September 2023

• curprev 16:0916:09, 21 September 2023‎ Kyodaisuu talk contribs‎ 27,708 bytes +12‎ No edit summary

9 August 2023

• curprev 18:3518:35, 9 August 2023‎ Michael Akitan talk contribs‎ 27,696 bytes +1‎ No edit summary Tag: Source edit

6 May 2023

• curprev 17:0817:08, 6 May 2023‎ Kyodaisuu talk contribs‎ m 27,695 bytes −30‎ Reverted edits by Maks Kirchev (talk) to last revision by P進大好きbot Tag: Rollback

5 May 2023

• curprev 21:3621:36, 5 May 2023‎ Maks Kirchev talk contribs‎ 27,725 bytes +30‎ No edit summary Tags: Reverted Visual edit

26 April 2023

• curprev 22:5022:50, 26 April 2023‎ P進大好きbot talk contribs‎ m 27,695 bytes −46‎ I might misunderstand the original intention, but at least the restriction of the length of a formula does not matter for the decidability from the termination. Perhaps the original statement refers to the length of a proof, but the statement does not imply the inequality. Tag: Source edit
• curprev 22:4122:41, 26 April 2023‎ P進大好きbot talk contribs‎ m 27,741 bytes +54‎ Fixing a misleading statement Tag: Source edit
• curprev 22:3422:34, 26 April 2023‎ P進大好きbot talk contribs‎ m 27,687 bytes −1‎ Fixing an expression mixing the language itself and the set theory Tag: Source edit

14 December 2022

• curprev 05:4005:40, 14 December 2022‎ P進大好きbot talk contribs‎ m 27,688 bytes −26‎ Undo revision 374495 by Xela tabs (talk) nonsense Tag: Undo

13 December 2022

• curprev 23:4323:43, 13 December 2022‎ Xela tabs talk contribs‎ 27,714 bytes +26‎ Adding categories Tag: Reverted

6 July 2022

• curprev 19:2619:26, 6 July 2022‎ Weirdoverse talk contribs‎ m 27,688 bytes +3‎ Fixed a line break. Tag: Visual edit

21 May 2022

• curprev 18:0818:08, 21 May 2022‎ Google account password password reset password pa talk contribs‎ 27,685 bytes +52‎ →‎Known values of Rayo's function Tag: Visual edit

16 May 2022

• curprev 04:4504:45, 16 May 2022‎ 12AbBa talk contribs‎ 27,633 bytes 0‎ →‎Known values of Rayo's function: For gods sake
• curprev 03:4503:45, 16 May 2022‎ 12AbBa talk contribs‎ m 27,633 bytes −2‎ →‎Known values of Rayo's function
• curprev 03:4103:41, 16 May 2022‎ 12AbBa talk contribs‎ 27,635 bytes +274‎ →‎Known values of Rayo's function Tag: Visual edit: Switched

15 May 2022

• curprev 09:2309:23, 15 May 2022‎ 12AbBa talk contribs‎ 27,361 bytes −161‎ →‎Explanation 1 Tag: Source edit
• curprev 08:3408:34, 15 May 2022‎ 12AbBa talk contribs‎ 27,522 bytes +67‎ →‎Example Rayo strings and their values Tag: Source edit
• curprev 08:3108:31, 15 May 2022‎ 12AbBa talk contribs‎ 27,455 bytes +745‎ improvements Tag: Source edit

12 April 2022

• curprev 00:1400:14, 12 April 2022‎ IdiosyncraticLawyer talk contribs‎ 26,710 bytes +5‎ Link updating Tag: Source edit

26 February 2022

• curprev 19:4919:49, 26 February 2022‎ Binary198 talk contribs‎ 26,705 bytes +48‎ Adding categories

24 February 2022

• curprev 08:4508:45, 24 February 2022‎ DeepLineMadom talk contribs‎ 26,657 bytes +26‎ Adding uncomputable number template

17 November 2021

• curprev 16:1316:13, 17 November 2021‎ Kyodaisuu talk contribs‎ 26,631 bytes −47‎ No edit summary
• curprev 13:4213:42, 17 November 2021‎ Kyodaisuu talk contribs‎ m 26,678 bytes −2‎ →‎After Rayo's number was defined
• curprev 13:4113:41, 17 November 2021‎ Kyodaisuu talk contribs‎ 26,680 bytes +100‎ Issue of Fish number 7
• curprev 13:0413:04, 17 November 2021‎ Kyodaisuu talk contribs‎ 26,580 bytes +19‎ No edit summary
• curprev 11:2011:20, 17 November 2021‎ Kyodaisuu talk contribs‎ 26,561 bytes +8‎ →‎After Rayo's number was defined
• curprev 11:2011:20, 17 November 2021‎ Kyodaisuu talk contribs‎ 26,553 bytes +8‎ →‎After Rayo's number was defined
• curprev 11:1211:12, 17 November 2021‎ Kyodaisuu talk contribs‎ 26,545 bytes +34‎ →‎After Rayo's number was defined: Links to user pages
• curprev 11:0211:02, 17 November 2021‎ Kyodaisuu talk contribs‎ 26,511 bytes +539‎ →‎After Rayo's number was defined
• curprev 10:3910:39, 17 November 2021‎ Kyodaisuu talk contribs‎ 25,972 bytes +8‎ →‎After Rayo's number was defined: Change the order because it is a history
• curprev 04:1704:17, 17 November 2021‎ Kyodaisuu talk contribs‎ m 25,964 bytes 0‎ →‎After Rayo's number was defined
• curprev 04:1604:16, 17 November 2021‎ Kyodaisuu talk contribs‎ 25,964 bytes +14‎ →‎After Rayo's number was defined: Move to note
• curprev 04:1104:11, 17 November 2021‎ Kyodaisuu talk contribs‎ 25,950 bytes 0‎ →‎History
• curprev 03:4503:45, 17 November 2021‎ Kyodaisuu talk contribs‎ m 25,950 bytes −2‎ No edit summary
• curprev 03:4503:45, 17 November 2021‎ Kyodaisuu talk contribs‎ 25,952 bytes +27‎ refer in the main text
• curprev 03:2403:24, 17 November 2021‎ Kyodaisuu talk contribs‎ m 25,925 bytes −1‎ No edit summary
• curprev 03:2203:22, 17 November 2021‎ Kyodaisuu talk contribs‎ 25,926 bytes +12‎ No edit summary
• curprev 03:1903:19, 17 November 2021‎ Kyodaisuu talk contribs‎ 25,914 bytes +66‎ No edit summary
• curprev 03:1503:15, 17 November 2021‎ Kyodaisuu talk contribs‎ 25,848 bytes +26‎ Change order and move to footnote

16 November 2021

• curprev 13:4813:48, 16 November 2021‎ Kyodaisuu talk contribs‎ 25,822 bytes +23‎ Move to footnote
• curprev 13:4613:46, 16 November 2021‎ Kyodaisuu talk contribs‎ 25,799 bytes +45‎ Footnotes
• curprev 13:3713:37, 16 November 2021‎ Kyodaisuu talk contribs‎ 25,754 bytes +375‎ It was mistake... Rayo's page was not an independent page but a redirect Tag: Undo
• curprev 13:3513:35, 16 November 2021‎ Kyodaisuu talk contribs‎ 25,379 bytes −375‎ As Rayo has an independent page, his personal information should be tracked in his page, not here.
• curprev 13:3313:33, 16 November 2021‎ Kyodaisuu talk contribs‎ 25,754 bytes +44‎ →‎Author
• curprev 13:3213:32, 16 November 2021‎ Kyodaisuu talk contribs‎ 25,710 bytes +3‎ No edit summary
• curprev 13:2913:29, 16 November 2021‎ Kyodaisuu talk contribs‎ 25,707 bytes +78‎ →‎History
• curprev 13:2113:21, 16 November 2021‎ Kyodaisuu talk contribs‎ 25,629 bytes +17‎ Add discussion section
• curprev 13:2013:20, 16 November 2021‎ Kyodaisuu talk contribs‎ 25,612 bytes +18‎ Add explanation section