Will my program terminate?

Roughly speaking, Turing has proved that it is not possible to tell whether a computer program will terminate or not. Recently, William Gasarch posted an article to the arXiv in which he shows how one can prove program termination. Gasarch does not disprove Turing, but " discuss various ways to prove that [a] program terminates".

Σχόλια

Δημοφιλείς αναρτήσεις από αυτό το ιστολόγιο

A comment on a comment

Turing Machine Simulation