Talk:Arithmetization of analysis

Created this page (obviously still under construction) thinking it would serve as a helpful place to summarize not only the historical facts of the "arithmetization of analysis" but also some current lively discussion of its significance for the "foundations of mathematics," whatever that may turn out to be! LOL Whayes43 (talk) 18:12, 15 April 2014 (CEST)

Current lively discussion, really? I did not know. Where to look for this?

"the definition of the theory of real numbers" --- do you really mean it, or rather, the definition of [the set, or orderd field,... of] real numbers?

Boris Tsirelson (talk) 19:35, 15 April 2014 (CEST)