1930년대-1940년대의 튜링, 교회, 크리네, 그리고 포스트
그의 기교는 도입하자마자 간소화 및 확장된 것이며, 이 이후 수리논리학의 모든 분야에서 다른 여러가지 문제에 도입되어 왔다. 계산 가능성 이론의 기원은 1930년대-1940년대의 튜링, 교회, 크리네, 그리고 포스트에 있다. 계산 가능성 이론은 추상적 계산 가능성의 연구로 발전해, 재귀 이론으로서 알려져 있는 것이 됐다. 우선도법(튜링 차수#포스트의 문제와 우선도법)은 1950년대에 Albert Muchnik와 Richard Friedberg에 각각 독립에 발견되어 튜링 차수와 관련하는 구조의 이해에 큰 진전을 가져왔다. 고차 계산 가능성 이론의 연구에 의해 계산 가능성 이론과 집합론과의 관계가 증명되었다.
계산 가능성 이론의 기원이 뭐야
논리학의 역사