3

3

Эти четыре точки зрения были подробно описаны, например, в [215], с. 252 (следует, впрочем, отметить, что условие, называемое автором статьи «тезисом Черча—Тьюринга», является, по своей сути, скорее «тезисом Тьюринга» (в том смысле, в каком я употребляю этот термин в §1.6), нежели «тезисом Черча»).