This classic paper of A. Turing is the first work on this problem:
http://www.turingarchive.org/browse.php/b/15
For more recent works, see these papers of Solomon Feferman and Torkel Franzen:
http://www.jstor.org/stable/2964649?seq=1#page_scan_tab_contents