«Совершенно ясное и строгое понимание дедуктивных схем пришло лишь в начале XX столетия. В основном это заслуга великого немецкого математика Гильберта. В несколько огрублённой и упрощённой форме дело обстоит примерно так...

Приветствую Вас, уважаемые Читатели! Метод доказательства от противного - это один из наикрасивейших методов доказательств, которое придумал человеческий ум. Напомню, что он состоит в постулировании некого утверждения, как верного, с последующей цепочкой доказательств, приводящей к противоречию. Следовательно, делается вывод, что исходное предположение ложно. Круг замкнулся. Сегодня я покажу Вам пример применения этого метода к доказательству расходимости гармонического ряда: Имеется множество доказательств расходимости данного ряда, т...