Gödel machine: Revision history

12 June 2024

• curprev 22:1422:14, 12 June 2024‎ Citation bot talk contribs‎ 10,376 bytes −28‎ Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Category:CS1 maint: DOI inactive as of June 2024 | #UCB_Category 98/305 undo
• curprev 14:2814:28, 12 June 2024‎ InternetArchiveBot talk contribs‎ 10,404 bytes +72‎ Rescuing 0 sources and tagging 1 as dead.) #IABot (v2.0.9.5) (AManWithNoPlan - 19964 undo
• curprev 12:5312:53, 12 June 2024‎ Citation bot talk contribs‎ 10,332 bytes +28‎ Added doi-broken-date. | Use this bot. Report bugs. | #UCB_CommandLine undo

4 February 2024

• curprev 17:3117:31, 4 February 2024‎ WeyerStudentOfAgrippa talk contribs‎ 10,304 bytes +58‎ Adding short description: "Hypothetical self-improving program" undo Tag: Shortdesc helper

4 January 2024

• curprev 21:1221:12, 4 January 2024‎ Once again2022 talk contribs‎ m 10,246 bytes −2‎ hyperlink was corrupted undo

22 August 2023

• curprev 15:3115:31, 22 August 2023‎ Citation bot talk contribs‎ 10,248 bytes +40‎ Alter: title. Add: series, chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

15 March 2023

• curprev 16:3516:35, 15 March 2023‎ 93.72.49.123 talk‎ 10,208 bytes −561‎ Fixing duplicated cites undo

13 November 2022

• curprev 16:1916:19, 13 November 2022‎ Skyerise talk contribs‎ 10,769 bytes 0‎ →‎Fast theorem proving: rm stray period undo

2 November 2022

• curprev 21:5421:54, 2 November 2022‎ Comp.arch talk contribs‎ m 10,769 bytes 0‎ No edit summary undo Tag: 2017 wikitext editor

30 October 2022

• curprev 17:4417:44, 30 October 2022‎ Citation bot talk contribs‎ 10,769 bytes −77‎ Removed proxy/dead URL that duplicated identifier. Removed access-date with no URL. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 6/16 undo

3 August 2022

• curprev 17:3117:31, 3 August 2022‎ Citation bot talk contribs‎ 10,846 bytes +48‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 103/255 undo

1 August 2022

• curprev 23:5023:50, 1 August 2022‎ Jadermcs talk contribs‎ 10,798 bytes −2‎ No edit summary undo

14 May 2022

• curprev 15:1815:18, 14 May 2022‎ Jimmy Hers talk contribs‎ m 10,800 bytes +1‎ ce. nit undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

5 March 2022

• curprev 18:5318:53, 5 March 2022‎ Skyerise talk contribs‎ 10,799 bytes −32‎ article appears to be well-cited, remove maint template undo
• curprev 18:5218:52, 5 March 2022‎ Skyerise talk contribs‎ m 10,831 bytes −1‎ →‎External links undo
• curprev 18:4718:47, 5 March 2022‎ Skyerise talk contribs‎ 10,832 bytes −142‎ →‎External links: already linked from references undo
• curprev 18:4518:45, 5 March 2022‎ Skyerise talk contribs‎ 10,974 bytes −26‎ the clarification is in the next sentence undo
• curprev 15:5615:56, 5 March 2022‎ Skyerise talk contribs‎ 11,000 bytes +1‎ →‎Limitations: don't -> do not undo

23 February 2022

• curprev 16:3816:38, 23 February 2022‎ 2601:249:a00:1e50:1deb:5861:4ed8:efdb talk‎ 10,999 bytes −218‎ →‎check() undo

13 January 2022

• curprev 19:0619:06, 13 January 2022‎ Jarble talk contribs‎ m 11,217 bytes 0‎ editing a link undo
• curprev 15:4115:41, 13 January 2022‎ Jarble talk contribs‎ m 11,217 bytes +22‎ linking undo

12 November 2020

• curprev 13:0013:00, 12 November 2020‎ WikiCleanerBot talk contribs‎ m 11,195 bytes −2‎ v2.04b - Bot T20 CW#61 - WP:WCW project (Reference before punctuation) undo Tag: WPCleaner

7 August 2020

• curprev 18:5718:57, 7 August 2020‎ Muhali talk contribs‎ 11,197 bytes −19‎ →‎Limitations: corrected relation to Gödel undo Tag: Visual edit

17 July 2020

• curprev 16:4416:44, 17 July 2020‎ 73.15.30.186 talk‎ 11,216 bytes +89‎ →‎Limitations: More mathematically correct formulation of "unprovable but true" statement. undo

13 April 2020

• curprev 15:3315:33, 13 April 2020‎ OAbot talk contribs‎ m 11,127 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

30 March 2020

• curprev 03:2603:26, 30 March 2020‎ Citation bot talk contribs‎ 11,111 bytes +4‎ Add: bibcode. Removed parameters. | You can use this bot yourself. Report bugs here. | Activated by User:Zppix | Category:Artificial intelligence‎ | via #UCB_Category undo

11 June 2019

• curprev 17:1817:18, 11 June 2019‎ 2601:445:437f:fe66:5434:1cd6:e1f6:768c talk‎ 11,107 bytes +176‎ math notation and punctuation undo

31 January 2019

• curprev 10:4910:49, 31 January 2019‎ Citation bot talk contribs‎ m 10,931 bytes +198‎ Alter: template type. Add: citeseerx, isbn, year, volume, journal, issue, author pars. 1-2. Removed accessdate with no specified URL. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

18 July 2018

• curprev 11:3311:33, 18 July 2018‎ 137.226.233.112 talk‎ 10,733 bytes +1‎ →‎Limitations: added a missing full stop undo

26 January 2018

• curprev 12:1712:17, 26 January 2018‎ KolbertBot talk contribs‎ m 10,732 bytes +1‎ Bot: HTTP→HTTPS (v481) undo

18 January 2018

• curprev 13:3313:33, 18 January 2018‎ 217.149.169.139 talk‎ 10,731 bytes −12‎ Replaced "more optimal" by "better" undo

16 November 2017

• curprev 03:1403:14, 16 November 2017‎ 50.193.62.35 talk‎ 10,743 bytes −526‎ →‎Limitations: This paragraph has nothing to do with Godel Machines, and uses weasel words undo

12 October 2017

• curprev 18:5118:51, 12 October 2017‎ Hkfscp11 talk contribs‎ m 11,269 bytes −1‎ No edit summary undo

14 September 2017

• curprev 17:0317:03, 14 September 2017‎ AnomieBOT talk contribs‎ m 11,270 bytes +40‎ Dating maintenance tags: {{Confusing}} undo
• curprev 15:0315:03, 14 September 2017‎ Nbro talk contribs‎ 11,230 bytes +23‎ →‎Instructions used by proof techniques undo
• curprev 15:0215:02, 14 September 2017‎ Nbro talk contribs‎ 11,207 bytes +23‎ →‎Variables of interest undo
• curprev 15:0015:00, 14 September 2017‎ Nbro talk contribs‎ 11,184 bytes +83‎ Added some math notation undo
• curprev 14:5414:54, 14 September 2017‎ Nbro talk contribs‎ 11,101 bytes +62‎ Added citations undo
• curprev 14:5314:53, 14 September 2017‎ Nbro talk contribs‎ 11,039 bytes +771‎ →‎Variables of interest undo
• curprev 14:3014:30, 14 September 2017‎ Nbro talk contribs‎ 10,268 bytes +4‎ →‎Variables of interest undo
• curprev 14:3014:30, 14 September 2017‎ Nbro talk contribs‎ 10,264 bytes +9‎ →‎Variables of interest undo
• curprev 14:2614:26, 14 September 2017‎ Nbro talk contribs‎ 10,255 bytes +39‎ Replaced image with math code undo

6 September 2017

• curprev 22:3322:33, 6 September 2017‎ Jarble talk contribs‎ m 10,216 bytes +82‎ adding a link using Google Scholar undo

29 August 2017

• curprev 06:4106:41, 29 August 2017‎ KolbertBot talk contribs‎ m 10,134 bytes +1‎ Bot: HTTP→HTTPS undo

20 June 2017

• curprev 15:3515:35, 20 June 2017‎ Jabowery talk contribs‎ 10,133 bytes 0‎ Better locate for cite. undo
• curprev 15:3315:33, 20 June 2017‎ Jabowery talk contribs‎ 10,133 bytes +12‎ Disintermediate unreliable source with reliable source and correct terminology to be precise. undo

14 June 2017

• curprev 00:0800:08, 14 June 2017‎ AnomieBOT talk contribs‎ m 10,121 bytes +15‎ Dating maintenance tags: {{Clarify}} undo

13 June 2017

• curprev 22:0722:07, 13 June 2017‎ GreatBigDot talk contribs‎ 10,106 bytes +104‎ →‎top: Add {{unreliable source}} template to LessWrong reference; a blog is, to my knowledge, not an acceptable source of scientific information for Wikipedia. undo
• curprev 20:5620:56, 13 June 2017‎ GreatBigDot talk contribs‎ m 10,002 bytes 0‎ →‎top: Fixed tag ({{clarity}} --> {{clarify}}) undo
• curprev 20:5520:55, 13 June 2017‎ GreatBigDot talk contribs‎ m 10,002 bytes +11‎ →‎top: Add {{clarity}} tag to vague statement. undo