Beyond the Horizon of Computability