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.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.