Fortnow invokes the significance of the Turing machine in addressing the question. Editor (2010)

by Lance Fortnow