Meertens number
Encyclopedia
In mathematical logic
, a Meertens number is an integer that is its own Gödel number.
The Gödel encoding of a decimal number with n digits is the product of the first n primes raised to the values of their corresponding digits in the sequence.
The only Meertens number that has been found is 81312000 = 28315371112130170190.
It was "given" to Lambert Meertens
by Richard S. Bird as a present during the celebration of his 25 years at the CWI, Amsterdam
.
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
, a Meertens number is an integer that is its own Gödel number.
The Gödel encoding of a decimal number with n digits is the product of the first n primes raised to the values of their corresponding digits in the sequence.
The only Meertens number that has been found is 81312000 = 28315371112130170190.
It was "given" to Lambert Meertens
Lambert Meertens
Lambert Guillaume Louis Théodore Meertens is a Dutch computer scientist and professor.While still a student at the Ignatius Gymnasium in Amsterdam, Meertens designed a computer, together with his classmate Kees Koster....
by Richard S. Bird as a present during the celebration of his 25 years at the CWI, Amsterdam
Amsterdam
Amsterdam is the largest city and the capital of the Netherlands. The current position of Amsterdam as capital city of the Kingdom of the Netherlands is governed by the constitution of August 24, 1815 and its successors. Amsterdam has a population of 783,364 within city limits, an urban population...
.