Assertion: turing thesis | /r/HasProperty | susceptible to mathematical proof
Facets:
value: on the contrary
type: OTHER
Source sentences:
text: Rejecting the conventional view, Kripke suggests that, on the contrary, the Church-Turing thesis is susceptible to mathematical proof.
text: Wilfried Sieg have also argued that the Church-Turing thesis is susceptible to mathematical proof.