Is a forever running program computable? For example a program which calculates the biggest natural number.

  • 1
    $\begingroup$ Have you seen definition of computable program? What does it say? $\endgroup$ – Evil Apr 28 '18 at 21:27
  • 4
    $\begingroup$ Computability is a property of languages or functions, not of programs. $\endgroup$ – Yuval Filmus Apr 28 '18 at 21:34
  • $\begingroup$ You want another model of computation than the classic one used in lectures on computability. $\endgroup$ – Raphael Apr 28 '18 at 21:57
  • 2
    $\begingroup$ Note that your question is self-answering: you are asking whether the function computed by a diverging program is actually computed by some program. $\endgroup$ – chi Apr 29 '18 at 8:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.