1266: Halting Problem - Revision history

172.69.194.225: No hyphen. If anything, those ''are'' capitals, and also two more (presumably valid in xkPSEUDOcOdE!), although the P of PROGRAM looks to not quite be (near-borderline, though you'd expect it to be so), especially compared to its second R.

2023-12-17T16:05:29Z

No hyphen. If anything, those ''are'' capitals, and also two more (presumably valid in xkPSEUDOcOdE!), although the P of PROGRAM looks to not quite be (near-borderline, though you'd expect it to be so), especially compared to its second R.

172.70.90.29: /* Transcript */

2023-12-17T09:35:37Z

‎Transcript

162.158.22.59: /* Explanation */

2023-12-13T08:39:01Z

‎Explanation

Megan: /* Explanation */ format code block properly

2023-07-13T03:23:15Z

‎Explanation: format code block properly

Theusaf: Reverted edits by Donald Trump (talk) to last revision by CRLF

2022-05-26T19:59:24Z

Reverted edits by Donald Trump (talk) to last revision by CRLF

Show changes

Donald Trump: Reverted edit by anti-crap user

2022-05-26T19:03:54Z

Reverted edit by anti-crap user

Show changes

CRLF: Reverted vandalism with User:CRLF/OneClickUndo.js

2022-05-26T18:02:17Z

Reverted vandalism with User:CRLF/OneClickUndo.js

Show changes

Donald Trump: Reverted edit by anti-crap user

2022-05-26T17:07:39Z

Reverted edit by anti-crap user

Show changes

Theusaf: Reverted edits by 👖🔥 (talk) to last revision by Jacky720

2022-05-11T18:48:11Z

Reverted edits by 👖🔥 (talk) to last revision by Jacky720

Show changes

👖🔥 at 17:27, 11 May 2022

2022-05-11T17:27:17Z

Show changes

@@ Line 46: / Line 46: @@
 ==Transcript==
 :[A short computer program.]
-  '''define''' DoesItHalt(program):
+  '''Define''' DoesItHalt(program):
+  {
-   '''return''' true;
+   '''Return''' True;
+  }
 :[Caption below the panel]:
-: The big-picture solution to the halting problem.
+:The big picture solution to the halting problem.
 ==Trivia==

@@ Line 46: / Line 46: @@
 ==Transcript==
 :[A short computer program.]
-  '''Define''' DoesItHalt(program):
+  '''define''' DoesItHalt(program):
+  {
    '''return''' true;
+  }
 :[Caption below the panel]:
-:The big picture solution to the halting problem.
+: The big-picture solution to the halting problem.
 ==Trivia==

@@ Line 38: / Line 38: @@
 </pre>
-If Randall's function says that <code>META_DOESITHALT</code> halts by returning "TRUE" - then that makes <code>META_DOESITHALT</code> loop forever.   But if it decides that it must halt by returning "FALSE" - then <code>META_DOESITHALT</code> halts.
+If Randall's function says that <code>META_DOESITHALT</code> halts by returning "TRUE" - then that makes <code>META_DOESITHALT</code> loop forever.   But if it decides that it must not halt by returning "FALSE" - then <code>META_DOESITHALT</code> halts.
 This proves that <code>DOESITHALT</code> can't possibly work - no matter what it actually does.

@@ Line 30: / Line 30: @@
 The proof that the halting problem is unsolveable is to write a new function that uses Randall's program:
-<code>
+<pre>
 DEFINE META_DOESITHALT():
-::IF ( DOESITHALT(META_DOESITHALT) )
+  IF ( DOESITHALT(META_DOESITHALT) )
-::::WHILE ( TRUE ) DO_NOTHING;
+    WHILE ( TRUE ) DO_NOTHING;
-::ELSE
+  ELSE
-::::HALT;
+    HALT;
-</code>
+</pre>
 If Randall's function says that <code>META_DOESITHALT</code> halts by returning "TRUE" - then that makes <code>META_DOESITHALT</code> loop forever.   But if it decides that it must halt by returning "FALSE" - then <code>META_DOESITHALT</code> halts.