MU puzzle: Revision history

3 July 2024

• curprev 13:0813:08, 3 July 2024‎ Cubefox talk contribs‎ 12,380 bytes +1‎ →‎Relationship to logic undo Tags: Mobile edit Mobile web edit

17 November 2023

• curprev 12:4512:45, 17 November 2023‎ Marsshall Sun talk contribs‎ 12,379 bytes +1‎ →‎Relationship to logic undo Tag: Visual edit

4 November 2023

• curprev 08:2408:24, 4 November 2023‎ Koavf talk contribs‎ 12,378 bytes +81‎ Importing Wikidata short description: "Puzzle in Douglas Hofstadter's book "Gödel, Escher, Bach"" undo Tag: Shortdesc helper

13 May 2023

• curprev 12:3712:37, 13 May 2023‎ Dancing Dollar talk contribs‎ m 12,297 bytes +11‎ clean up, typo(s) fixed: ie., → i.e., undo Tag: AWB

20 March 2023

• curprev 15:5115:51, 20 March 2023‎ Jochen Burghardt talk contribs‎ 12,286 bytes −143‎ Undid revision 1145675627 by Rudyeeeeeeee (talk): test edit (?) undo Tag: Undo
• curprev 11:1511:15, 20 March 2023‎ Rudyeeeeeeee talk contribs‎ 12,429 bytes +143‎ No edit summary undo Tags: Reverted Visual edit

17 March 2023

• curprev 01:5601:56, 17 March 2023‎ Cedar101 talk contribs‎ m 12,286 bytes −131‎ →‎Example: replace tex math with html undo

21 December 2022

• curprev 21:2821:28, 21 December 2022‎ LaundryPizza03 talk contribs‎ 12,417 bytes +96‎ +Category:Independence results; +Category:Formal languages; +Category:1979 introductions using HotCat undo

12 October 2022

• curprev 18:3618:36, 12 October 2022‎ Quondum talk contribs‎ 12,321 bytes −4‎ →‎Arithmetization: spacing in superscripts does not work well undo

20 April 2022

• curprev 12:3012:30, 20 April 2022‎ 2a01:e0a:150:abb0:4302:e6d3:8b78:6e6e talk‎ 12,325 bytes −5‎ →‎Proof: "with exactly with" -> "with exactly" undo

14 October 2021

• curprev 09:1609:16, 14 October 2021‎ 2a00:23c4:b90b:6c00:110e:6950:9bc3:f7e4 talk‎ 12,330 bytes −1‎ →‎Solution undo

11 August 2021

• curprev 09:4309:43, 11 August 2021‎ Klbrain talk contribs‎ 12,331 bytes −53‎ Removing merge template; discussion archived as stale, and consensus was uncertain; see Talk:Gödel, Escher, Bach/Archive 1#Merger proposal undo

29 January 2021

• curprev 19:0019:00, 29 January 2021‎ Monkbot talk contribs‎ m 12,384 bytes +3‎ Task 18 (cosmetic): eval 4 templates: hyphenate params (3×); undo Tag: AWB

18 January 2021

• curprev 04:5904:59, 18 January 2021‎ TortillaDePapas talk contribs‎ 12,381 bytes +55‎ merge up! undo Tag: Visual edit

21 November 2020

• curprev 23:5623:56, 21 November 2020‎ Joe in Australia talk contribs‎ m 12,326 bytes −68‎ Removed NBSPs that messed up the display undo

30 May 2020

• curprev 04:2004:20, 30 May 2020‎ 2602:4b:ac58:6500:a43e:1873:3a30:3fed talk‎ 12,394 bytes +3‎ →‎Example: rule 1 was not being applied correctly undo

21 March 2020

• curprev 05:1605:16, 21 March 2020‎ InternetArchiveBot talk contribs‎ 12,391 bytes +131‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 undo

21 October 2019

• curprev 19:0019:00, 21 October 2019‎ Jochen Burghardt talk contribs‎ 12,260 bytes −21‎ →‎Pedagogical uses: no pipe needed undo
• curprev 12:0012:00, 21 October 2019‎ Frap talk contribs‎ 12,281 bytes 0‎ →‎Pedagogical Uses: WP:HEADERS undo

14 October 2019

• curprev 09:5909:59, 14 October 2019‎ Bellowhead678 talk contribs‎ m 12,281 bytes −1‎ aribitrarily->arbitrarily - Fix a typo in one click undo Tags: Mobile edit Mobile web edit Advanced mobile edit

26 September 2019

• curprev 21:3521:35, 26 September 2019‎ Monkbot talk contribs‎ m 12,282 bytes +3‎ →‎External links: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

8 September 2019

• curprev 23:4323:43, 8 September 2019‎ InternetArchiveBot talk contribs‎ 12,279 bytes +93‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

31 July 2019

• curprev 23:3923:39, 31 July 2019‎ Lucca Mito talk contribs‎ m 12,186 bytes 0‎ →‎Solution: Fixed misplaced comma undo Tag: Visual edit

28 July 2019

• curprev 13:0713:07, 28 July 2019‎ 93.33.46.255 talk‎ 12,186 bytes +11‎ Moved note from references to notes undo
• curprev 12:4412:44, 28 July 2019‎ Jellysandwich0 talk contribs‎ m 12,175 bytes +3‎ comma undo

27 July 2019

• curprev 17:5217:52, 27 July 2019‎ Jochen Burghardt talk contribs‎ 12,172 bytes +859‎ →‎Proof: construction example undo
• curprev 17:3117:31, 27 July 2019‎ Jochen Burghardt talk contribs‎ 11,313 bytes −1,144‎ →‎Decision Procedure: simplified the proof; fixed some typos; changed header to answer 'decision proc. for what?' undo
• curprev 12:5312:53, 27 July 2019‎ Jellysandwich0 talk contribs‎ m 12,457 bytes 0‎ capitalisation undo
• curprev 12:5212:52, 27 July 2019‎ Jellysandwich0 talk contribs‎ m 12,457 bytes 0‎ spelling undo
• curprev 12:5012:50, 27 July 2019‎ Jellysandwich0 talk contribs‎ m 12,457 bytes −10‎ No edit summary undo

26 July 2019

• curprev 15:0515:05, 26 July 2019‎ PhillipHicks talk contribs‎ 12,467 bytes −4‎ Introducing Decision Procedure with proof undo
• curprev 14:5714:57, 26 July 2019‎ PhillipHicks talk contribs‎ 12,471 bytes +3,324‎ No edit summary undo

18 July 2019

• curprev 23:3123:31, 18 July 2019‎ Vienna1027 talk contribs‎ 9,147 bytes +1‎ No edit summary undo

10 July 2019

• curprev 21:2021:20, 10 July 2019‎ Vienna1027 talk contribs‎ 9,146 bytes +314‎ I am adding more context to Hofstadler's purpose of introducing the MU puzzle to make it more understandable to lay readers. There is no motivation given in the introduction. Hoftstadler's main point is to distinguish the theorems of a formal system from applying reason to the formal system itself. undo

17 May 2019

• curprev 01:5301:53, 17 May 2019‎ 2001:983:68aa:1:ac0c:748f:5636:df4 talk‎ 8,832 bytes +1‎ →‎Solution undo

12 May 2019

• curprev 19:1419:14, 12 May 2019‎ Jochen Burghardt talk contribs‎ 8,831 bytes +35‎ →‎The puzzle: keep typographical distinction of variables (x,y) and constants (M,I,U) undo

8 May 2019

• curprev 14:1014:10, 8 May 2019‎ 185.176.245.46 talk‎ 8,796 bytes −71‎ Switched from <tt> to {{code}}, put x and y into the tags. undo

24 February 2019

• curprev 03:0503:05, 24 February 2019‎ AnomieBOT talk contribs‎ m 8,867 bytes +19‎ Dating maintenance tags: {{Cleanup HTML}} undo
• curprev 02:4402:44, 24 February 2019‎ Beland talk contribs‎ 8,848 bytes +17‎ {{cleanup HTML}} undo

16 December 2018

• curprev 17:0117:01, 16 December 2018‎ 2001:984:47bf:1:e8de:3083:f4c1:297 talk‎ 8,831 bytes +1‎ No edit summary undo
• curprev 17:0117:01, 16 December 2018‎ 2001:984:47bf:1:e8de:3083:f4c1:297 talk‎ 8,830 bytes −1‎ →‎The puzzle undo

11 December 2018

• curprev 13:0313:03, 11 December 2018‎ Nccarter talk contribs‎ m 8,831 bytes 0‎ Fixing what seems to be a typo undo

5 December 2018

• curprev 00:2000:20, 5 December 2018‎ 81.154.157.159 talk‎ 8,831 bytes −175‎ No edit summary undo

25 October 2018

• curprev 16:1816:18, 25 October 2018‎ Renamed user 7hq09uwypo226qfc talk contribs‎ 9,006 bytes −5‎ →‎See also: s/Invariant (computer science)/Invariant (mathematics)/ undo

17 October 2018

• curprev 13:4513:45, 17 October 2018‎ Anonymuss User talk contribs‎ 9,011 bytes +32‎ Added new category undo

7 September 2018

• curprev 14:5514:55, 7 September 2018‎ Negligible mass talk contribs‎ m 8,979 bytes 0‎ corrected typo undo

3 September 2018

• curprev 16:4416:44, 3 September 2018‎ 23.118.174.101 talk‎ 8,979 bytes +399‎ add pedagogical use section with proper citation; undo

13 May 2018

• curprev 11:3311:33, 13 May 2018‎ Tscherter talk contribs‎ 8,580 bytes +159‎ No edit summary undo

27 April 2018

• curprev 09:2809:28, 27 April 2018‎ 73.69.184.57 talk‎ 8,421 bytes +53‎ →‎Arithmetization undo
• curprev 09:2509:25, 27 April 2018‎ 73.69.184.57 talk‎ 8,368 bytes +9‎ →‎Arithmetization undo