Time hierarchy theorem: Revision history

5 June 2025

• curprev 13:4313:43, 5 June 2025 Headbomb talk contribs 17,241 bytes +68 Altered template type. Add: isbn, chapter, title. | Use this tool. Report bugs. | #UCB_Gadget undo

6 May 2025

• curprev 00:4700:47, 6 May 2025 WikiCleanerBot talk contribs m 17,173 bytes −58 v2.05b - Bot T24 CW#565 - Fix errors for CW project (<nowiki> tags) undo Tag: WPCleaner

22 April 2025

• curprev 06:5706:57, 22 April 2025 Jochen Burghardt talk contribs 17,231 bytes −125 →Proof: rm stray text (accidentially left over from fixing?) undo
• curprev 01:1601:16, 22 April 2025 Rguyr talk contribs 17,356 bytes +68 fix the fixing undo Tags: nowiki added Visual edit
• curprev 01:1201:12, 22 April 2025 Rguyr talk contribs 17,288 bytes +4,925 reverted my edit fixed proof undo Tags: nowiki added Visual edit

19 April 2025

• curprev 18:4518:45, 19 April 2025 Rguyr talk contribs 12,363 bytes −4,761 →Proof: because it takes at least n steps to make a tuple the program capital N runs in f(n)+n time witch invalidates this proof(yes it runs o(f(n)) but k only decides with it runs in les then f(n) not o(f(n))) undo Tag: Visual edit

4 April 2025

• curprev 09:1509:15, 4 April 2025 Nyq talk contribs m 17,124 bytes 0 lc common adjective undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

9 March 2025

• curprev 23:1323:13, 9 March 2025 Cosmia Nebula talk contribs 17,124 bytes −117 →Statement: shorter undo Tag: Visual edit
• curprev 23:0923:09, 9 March 2025 Cosmia Nebula talk contribs 17,241 bytes −16 →Statement undo Tag: Visual edit
• curprev 23:0723:07, 9 March 2025 Cosmia Nebula talk contribs 17,257 bytes +206 →Deterministic time hierarchy theorem: equivalent statement undo Tag: Visual edit

10 July 2024

• curprev 08:1808:18, 10 July 2024 Strattemier talk contribs m 17,051 bytes 0 →Sharper hierarchy theorems undo

7 March 2024

• curprev 18:5018:50, 7 March 2024 Jochen Burghardt talk contribs 17,051 bytes −7 →top: the "iff" formula implies one hierarchy, with infinitely many levels, in my understanding undo
• curprev 18:4618:46, 7 March 2024 Jochen Burghardt talk contribs 17,058 bytes +23 →top: explain n; MOS:NOTE undo

6 March 2024

• curprev 10:1810:18, 6 March 2024 Cosmia Nebula talk contribs 17,035 bytes +177 special case undo Tag: Visual edit

1 January 2024

• curprev 03:5603:56, 1 January 2024 OAbot talk contribs m 16,858 bytes +19 Open access bot: doi updated in citation with #oabot. undo

26 November 2023

• curprev 22:2022:20, 26 November 2023 Dionyziz talk contribs m 16,839 bytes −3 typo undo

11 September 2023

• curprev 10:1110:11, 11 September 2023 Comp.arch talk contribs m 16,842 bytes −2 No edit summary undo Tag: 2017 wikitext editor

13 August 2023

• curprev 07:4607:46, 13 August 2023 OAbot talk contribs m 16,844 bytes +19 Open access bot: doi added to citation with #oabot. undo

5 August 2023

• curprev 11:4311:43, 5 August 2023 AmirOnWiki talk contribs 16,825 bytes −121 Precise statement of the theorem undo

3 August 2023

• curprev 18:2818:28, 3 August 2023 Citation bot talk contribs 16,946 bytes +78 Alter: isbn, pages, journal. Add: doi, s2cid, date. Formatted dashes. Upgrade ISBN10 to 13. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

10 July 2023

• curprev 01:4501:45, 10 July 2023 Dexbot talk contribs m 16,868 bytes 0 Bot: Aligning section names with MOS:SECTIONS undo

8 July 2023

• curprev 07:5407:54, 8 July 2023 AmirOnWiki talk contribs m 16,868 bytes +21 →Further reading: add header undo
• curprev 05:5605:56, 8 July 2023 AmirOnWiki talk contribs 16,847 bytes +2,186 sharper hierarchy theorems undo

30 June 2023

• curprev 14:1414:14, 30 June 2023 AmirOnWiki talk contribs 14,661 bytes +89 →Proof: minor fix of argument undo
• curprev 13:4013:40, 30 June 2023 AmirOnWiki talk contribs 14,572 bytes −207 Deterministic time hierarchy theorem: some cleanup and replacement of broken link to lecture notes by link to book undo

29 June 2023

• curprev 17:3917:39, 29 June 2023 Beland talk contribs m 14,779 bytes −1 convert numeric HTML entities (via WP:JWB) undo

5 May 2023

• curprev 07:1907:19, 5 May 2023 Jochen Burghardt talk contribs 14,780 bytes +137 →top: link DTIME, and briefly explain it, right after 1st use undo

7 February 2023

• curprev 12:0612:06, 7 February 2023 Ascchrvalstr talk contribs m 14,643 bytes −18 →Proof: Fix typo undo Tag: possibly inaccurate edit summary

30 January 2023

• curprev 05:0205:02, 30 January 2023 OAbot talk contribs m 14,661 bytes +19 Open access bot: doi added to citation with #oabot. undo

25 March 2022

• curprev 15:4915:49, 25 March 2022 147.83.58.123 talk 14,642 bytes +1 →Proof: Fix typo undo

19 March 2022

• curprev 06:0306:03, 19 March 2022 Citation bot talk contribs 14,641 bytes +51 Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles containing proofs | #UCB_Category 122/409 undo

26 February 2022

• curprev 19:1119:11, 26 February 2022 185.17.12.166 talk 14,590 bytes −17 →Proof undo

1 September 2021

• curprev 17:2317:23, 1 September 2021 Arjayay talk contribs m 14,607 bytes −5 Duplicate word removed undo

28 August 2021

• curprev 17:5717:57, 28 August 2021 FG0711 talk contribs 14,612 bytes +3 →Extension undo
• curprev 17:5717:57, 28 August 2021 FG0711 talk contribs 14,609 bytes +340 →Extension undo
• curprev 17:5117:51, 28 August 2021 FG0711 talk contribs 14,269 bytes +484 →Proof undo
• curprev 16:2716:27, 28 August 2021 FG0711 talk contribs 13,785 bytes −11 →Proof: We do not "construct" the machine K. It exists by definition. undo
• curprev 16:2316:23, 28 August 2021 FG0711 talk contribs 13,796 bytes +15 →Proof undo
• curprev 16:2316:23, 28 August 2021 FG0711 talk contribs 13,781 bytes +122 →Proof undo

6 July 2021

• curprev 15:1615:16, 6 July 2021 OAbot talk contribs m 13,659 bytes +19 Open access bot: doi added to citation with #oabot. undo

13 January 2021

• curprev 18:1818:18, 13 January 2021 Monkbot talk contribs m 13,640 bytes +5 Task 18 (cosmetic): eval 8 templates: hyphenate params (5×); undo Tag: AWB

8 June 2020

• curprev 21:3521:35, 8 June 2020 ArnoldReinhold talk contribs 13,635 bytes +80 Adding local short description: "Given more time, a Turing machine can solve more problems", overriding Wikidata description "theorem" (Shortdesc helper) undo

17 April 2020

• curprev 16:2316:23, 17 April 2020 OAbot talk contribs m 13,555 bytes +21 Open access bot: doi added to citation with #oabot. undo

4 February 2020

• curprev 09:1709:17, 4 February 2020 Ott2 talk contribs 13,534 bytes 0 correct first/last name of Žák reference undo

15 January 2020

• curprev 01:5801:58, 15 January 2020 Bagheera123 talk contribs m 13,534 bytes +11 being more precise regarding number of bits for randomized time hierarchy theorem undo

18 December 2019

• curprev 12:3112:31, 18 December 2019 Citation bot talk contribs m 13,523 bytes +59 Alter: template type, author. Add: author-link. | You can use this bot yourself. Report bugs here.| Activated by User:Grimes2 | via #UCB_webform undo

23 October 2019

• curprev 07:2707:27, 23 October 2019 130.104.236.137 talk 13,464 bytes −1 →Background undo

8 September 2019

• curprev 15:2815:28, 8 September 2019 Dawnseeker2000 talk contribs 13,465 bytes +2 Typo fixing, typo(s) fixed: Therefore → Therefore, (2) undo Tag: AWB

7 September 2019

• curprev 21:0321:03, 7 September 2019 InternetArchiveBot talk contribs 13,463 bytes +90 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

10 January 2018

• curprev 08:1808:18, 10 January 2018 Cedar101 talk contribs m 13,373 bytes 0 sans-serif for complexity class undo