Τετάρτη, 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".

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

A "Solution" to Riemann Hypothesis

Riemann hypothesi s is "is a conjecture that the Riemann zeta function has its zeros only at the negative even integers and complex n...