- arithmetized
- Arithmetized
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Nels David Nelson — (Nels) David Nelson, an American mathematician and logician, was born on January 2, 1918 in Cape Girardeau, Missouri. Upon graduation from the Ph.D. program at the University of Wisconsin Madison, Nelson relocated to Washington, D.C. Nelson… … Wikipedia