Not formal enough? In that case you need to go back to the construction of the number system. After you have constructed the reals (Cauchy sequences are well suited for this case, see [Shapiro75]), you can indeed verify that the preceding proof correctly shows
lim_(m --> oo) sum_(n = 1)^m (9)/(10^n) = 1 .
Ich bin gerade über das dort ↑ oben gestolpert, als ich mir auf Spreeblick den Astrobiology-Rap angeguckt/hört habe.
Link: Why is 0.999999 = 1?
(via)
0 Responses to “Mensch – Mathe, Mathe – Mensch”