クルト・ゲーデル
Kurt Gödel described the "representing function" in his 1934 paper "On undecidable propositions of formal mathematical systems":