Доброго времени суток, уважаемое хабрасообщество.
Сегодня я хотел бы затронуть такую увлекательную тему, как математические парадоксы. По данной теме на хабре уже было опубликовано несколько замечательных статей (1,2,3,4,5), но в математике интересные парадоксы этой выборкой далеко не исчерпываются.
Поэтому попробуем рассмотреть другие занимательные парадоксы (а некоторые и «не совсем» парадоксы), которые пока еще не получили здесь должного освещения.
Парадокс кучи и парадокс «Лысого»
Данные парадоксы известны еще с древности. Для начала сформулируем и рассмотрим парадокс кучи:
«если к одному зерну добавлять по зёрнышку, то в какой момент образуется куча?»
или обратная формулировка:
«удаляя из кучи в 1 млн зёрен по одному зёрнышку, с какого момента она перестаёт быть кучей?»
Парадокс основан на очевидной предпосылке, согласно которой одно зёрнышко не образует кучи, и индуктивной предпосылке, по которой добавление одного зернышка к совокупности, кучей не являющейся, несущественно для образования кучи. Из этих предпосылок следует, что никакая совокупность из сколь угодно большого количества зёрен не будет образовывать кучи, что противоречит представлению о существовании кучи из зёрен. Очевидно, что эти рассуждения приводят к неправильным выводам.
Читать далее |