Meertens number

In number theory and mathematical logic, a Meertens number in a given number base is a natural number that is its own Gödel number. It was named after Lambert Meertens by Richard S. Bird as a present during the celebration of his 25 years at the CWI, Amsterdam.[1]

  1. ^ Richard S. Bird (1998). "Meertens number". Journal of Functional Programming. 8 (1): 83–88. doi:10.1017/S0956796897002931. S2CID 2939112.