Thomas Powell: Gödel's functional interpretation and the concept of learning. LICS 2016: 136-145