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 discussion" I found some here: http://www.cs.nyu.edu/pipermail/fom/1998-January/000804.html Perhaps not as lively as I recalled! In any case, Enjoy!

Whayes43 (talk) 04:32, 16 April 2014 (CEST)

Rather lively, I see, thanks. Boris Tsirelson (talk) 08:24, 16 April 2014 (CEST)

But, it seems, you insists on the spelling "pilars" rather than "pillars"? Boris Tsirelson (talk) 19:54, 16 April 2014 (CEST)

Oooops! I didn't see any further comment here, so I pasted in a changed version of the page. Hope I didn't over-write a change that you made, Boris Tsirelson I will look at the history and try to patch up any damage I may have done. I'll be more careful in future! Whayes43 (talk) 16:50, 19 April 2014 (CEST)