In the 1940s, Stephen Cole Kleene discovered the realizability interpretation of intuitionistic number theory. In 1982, Martin Hyland presented the effective topos, in which Kleene’s realizability reappears. The aim of this essay is to explain these concepts, and to prove their connection.