Τετάρτη, 14 Νοεμβρίου 2012

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".

Δεν υπάρχουν σχόλια:

Everything is computable...

Recently I read an article that presented a novel idea but  Nicolas Gisin . In a nutshell, Gisin says that  only a certain number of di...