Assertion: church | /r/CapableOf | propose to gödel
Facets:
Source sentences:
text: The debate began when Church proposed to Gödel that one should define the "effectively computable" functions as the λ-definable functions.