함수가 계산 가능하다는 것은 무엇을 의미하나요?
비공식적으로 함수는 값을 계산할 수 있다면 계산 가능하지만, 앨런 튜링, 알론조 처치, 커트 고델은 각각 튜링 기계, 람다 미적분, 일반 재귀 함수에 대한 계산 가능성에 대한 공식적인 정의를 내렸습니다.  처치-튜링 논문에서 이 세 가지 공식이 동등하다는 것이 밝혀지면서 계산 가능성에 대한 공식적인 정의로 사용할 수 있다는 것이 더욱 명확해졌습니다.
What does it mean for a function to be computable?
Although informally a function is computable if its values can be calculated, Alan Turing, Alonzo Church, and Kurt Godel each had formal definitions of computablility, namely Turing Machines, Lambda Calculus, and general recursive functions.  When it was shown in the Church-Turing thesis that these three formulations are equivalent, it became more clear that they could be used as a formal definition of computability.