Definitions

from The Century Dictionary.

  • To render arithmetical. See arithmetization.

Etymologies

Sorry, no etymologies found.

Examples

  • Gödel relied on the prime factorization theorem from algebra, however, it is possible to arithmetize the language of CL without any similar strong assumptions.

    Combinatory Logic

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.