Images for Computability and unsolvability Davis, Martin