Albert Muchnik와 Richard Friedberg
계산 가능성 이론의 기원은 1930년대-1940년대의 튜링, 교회, 크리네, 그리고 포스트에 있다. 계산 가능성 이론은 추상적 계산 가능성의 연구로 발전해, 재귀 이론으로서 알려져 있는 것이 됐다. 우선도법(튜링 차수#포스트의 문제와 우선도법)은 1950년대에 Albert Muchnik와 Richard Friedberg에 각각 독립에 발견되어 튜링 차수와 관련하는 구조의 이해에 큰 진전을 가져왔다. 고차 계산 가능성 이론의 연구에 의해 계산 가능성 이론과 집합론과의 관계가 증명되었다. 구성적 해석학 및 계산 가능성 해석학 등의 분야는 고전 수학의 정리의 유효한 내용을 연구하기 위해서 발전했다; 이들은 번갈아 역수학의 계획을 일으켰다.
우선도법은 누가 발견했어
논리학의 역사