Feasibilism, Explication, and the Cobham-Edmonds Thesis

Abrahim Ladha, Yiran Luo, Alan Tian

While the Church-Turing thesis asserts that effective calculability explicates to sets decidable by a Turing machine, the Cobham-Edmonds thesis asserts that feasible computation ex…