Namespaces
Variants
Actions

Difference between revisions of "Talk:Arithmetization of analysis"

From Encyclopedia of Mathematics
Jump to: navigation, search
(I see)
("pilars" or "pillars"?)
Line 10: Line 10:
  
 
:::Rather lively, I see, thanks. [[User:Boris Tsirelson|Boris Tsirelson]] ([[User talk:Boris Tsirelson|talk]]) 08:24, 16 April 2014 (CEST)
 
:::Rather lively, I see, thanks. [[User:Boris Tsirelson|Boris Tsirelson]] ([[User talk:Boris Tsirelson|talk]]) 08:24, 16 April 2014 (CEST)
 +
:::But, it seems, you insists on the spelling "pilars" rather than "pillars"? [[User:Boris Tsirelson|Boris Tsirelson]] ([[User talk:Boris Tsirelson|talk]]) 19:54, 16 April 2014 (CEST)

Revision as of 17:54, 16 April 2014

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)
How to Cite This Entry:
Arithmetization of analysis. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Arithmetization_of_analysis&oldid=31768