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)

Yes, thank you, I ought of course to have written "creation" of the theory of real numbers -- as is contained in the footnoted quotation -- or something equivalent.

as for "lively discussin" I found some in nLab exchanges. I will search again for a link! Whayes43 (talk) 04:32, 16 April 2014 (CEST)