Human: 함수가 계산 가능하다는 것은 무엇을 의미하나요? 

Assistant: 비공식적으로 함수는 값을 계산할 수 있다면 계산 가능하지만, 앨런 튜링, 알론조 처치, 커트 고델은 각각 튜링 기계, 람다 미적분, 일반 재귀 함수에 대한 계산 가능성에 대한 공식적인 정의를 내렸습니다.  처치-튜링 논문에서 이 세 가지 공식이 동등하다는 것이 밝혀지면서 계산 가능성에 대한 공식적인 정의로 사용할 수 있다는 것이 더욱 명확해졌습니다.</s>