Talk:Arithmetization

May I suggest a (perhaps trivial) non-technical adjustment to the final paragraph? Here's the paragraph:

The term "arithmetization" (in the phrase "arithmetization of analysis" ) is also used in the literature on the foundations of mathematics for the denotation of the creation of the theory of real numbers in the 19th century using set-theoretic constructions, starting from the natural numbers.

I suggest changing "for the denotation of" -- seems (to me) somewhat of a circumlocution -- "to denote".

--Whayes43 (talk) 17:15, 9 April 2014 (CEST)

Well, just do it, why not. Boris Tsirelson (talk) 21:55, 9 April 2014 (CEST)

Thank you! I appreciate your response. My hesitation to change this stemed from a feeling that a rather more adventurous change is required. In "Uber Sinn und Bedeutung," Frege introduced his theory of "sense and denotation." It seems to me that what we are talking about in this article is the sense of the term "arithmetization" (what it means or connotes) rather than its denotation (what it points to or denotes). However, I will just proceed as you suggest. Cheers! --Whayes43 (talk) 15:48, 10 April 2014 (CEST)

Hmmm... I tried to imagine how to formulate better the denotation of the term "arithmetization" in the phrase "arithmetization of analysis" but did not succeed. Do you? Maybe a link to Real number can help. Boris Tsirelson (talk) 17:54, 10 April 2014 (CEST)