file.pdf (281.34 kB)
Download fileChurch's Thesis and Hume's Problem
journal contribution
posted on 1997-01-01, 00:00 authored by Kevin T. Kelly, Oliver SchulteWe argue that uncomputability and classical scepticism are both reflections of inductive underdetermination, so that Church's thesis and Hume's problem ought to receive equal emphasis in a balanced approach to the philosophy of induction. As an illustration of such an approach, we investigate how uncomputable the predictions of a hypothesis can be if the hypothesis is to be reliably investigated by a computable scientific method.