[stevecooperorg]

Reminds me of this paper;

"The Interactive Nature of Computing: Refuting the Strong Church-Turing Thesis" -- http://cs.brown.edu/people/pw/strong-cct.pdf

"The theoretical nature of computing is currently based on what we call the mathematical worldview. We discuss this worldview next, contrasting it with the interactive worldview."

[nagatoism]

The paper's author should be slapped by the any CS book contains (Theorem: IP=PSPACE)