Не совсем так. Сумма всех натуральных чисел - расходящийся ряд. Расходящихся рядов существует бесконечно много, однако все они расходятся по-разному и существует соблазн (а иногда и потребность) как-то различать эти ряды между собой. Поэтому (а иногда и из спортивного интереса) математиками придуманы различные приёмы суммирования расходящихся рядов, так называемые методы регуляризации. Для чего нужны подобные фокусы? Слышали о перенормировках в квантовой электродинамике, о том, что вычисления дают бесконечные массы частиц, но особыми приёмами их можно преобразовать к конечному виду? Вот это, грубо говоря, из той же оперы.
Равенство тут не означает эквивалентность на множестве рациональных чисел, поскольку расходящийся ряд (сумма всех натуральных чисел) не принадлежит ни множеству натуральных, ни множеству рациональных чисел, а является объектом совсем иного класса. Но по определённым (и весьма строгим) правилам этому объекту можно сопоставить число -1/12. Правила сопоставления очень похожи на правила суммирования рядов. Подробнее см. в Википедии
http://ru.wikipedia.org/wiki/1_%2B_2_%2B_3_%2B_4_%2B_%E2%8B%AFhttp://en.wikipedia.org/wiki/1_%2B_2_%2B_3_%2B_4_%2B_%E2%80%A6ДОПОЛНЕНИЕ.
Или вот тут обсуждение почитайте
http://www.linux.org.ru/forum/talks/7152512
Ссылку не могу скинуть, найдите сами в ютубе:
Невероятно! 1 + 2 + 3 + 4 + 5 + .= -1/12, так называется.