Но ведь он сам сказал вначале про группу людей, а один человек - это не группа людей, следовательно он сам создал парадокс.
раскрыть ветку (6)
Называется "Парадокс Сорита"
Вот:
Парадокс состоит в следующем: рассмотрим кучу песка, из которого постепенно удаляются песчинки. Можно построить рассуждение, используя утверждения:
— 1000000 песчинок – это куча песка
— куча песка минус одна песчинка – это по-прежнему куча песка.
Если без остановки продолжать второе действие, то, в конечном счете, это приведет к тому, что куча будет состоять из одной песчинки. На первый взгляд, есть несколько способов избежать этого заключения. Можно возразить первой предпосылке, сказав, что миллион песчинок – это не куча. Но вместо 1000000 может быть сколь угодно другое большое число, а второе утверждение будет верным при любом числе с любым количеством нулей.
Таким образом, ответ должен прямо отрицать существование таких вещей, как куча. Кроме того, кто-то может возразить второй предпосылке, заявив, что она верна не для всех “коллекций зерна” и что удаление одного зерна или песчинки все еще оставляет кучу кучей. Или же может заявить о том, что куча песка может состоять из одной песчинки.
Вот:
Парадокс состоит в следующем: рассмотрим кучу песка, из которого постепенно удаляются песчинки. Можно построить рассуждение, используя утверждения:
— 1000000 песчинок – это куча песка
— куча песка минус одна песчинка – это по-прежнему куча песка.
Если без остановки продолжать второе действие, то, в конечном счете, это приведет к тому, что куча будет состоять из одной песчинки. На первый взгляд, есть несколько способов избежать этого заключения. Можно возразить первой предпосылке, сказав, что миллион песчинок – это не куча. Но вместо 1000000 может быть сколь угодно другое большое число, а второе утверждение будет верным при любом числе с любым количеством нулей.
Таким образом, ответ должен прямо отрицать существование таких вещей, как куча. Кроме того, кто-то может возразить второй предпосылке, заявив, что она верна не для всех “коллекций зерна” и что удаление одного зерна или песчинки все еще оставляет кучу кучей. Или же может заявить о том, что куча песка может состоять из одной песчинки.
раскрыть ветку (5)
Мы тут с ребятами обдумали, что эту идею чуток допилить - конфетка будет.
Просто получается, мы работаем с кучами - это объекты множества всех куч, которые сами по себе являются множеством песчинок. Есть оператор (удаление песчинки из кучи). Но работать с ним и говорить что-то о нем можно лишь в том случае, если оператор не выводит за пределы множества куч. Не помню уже, как такой называется, но пишется так A:X->X
Так вот, оператор отнятия песчинки может привести к отнятию всех песчинок в куче, следовательно, возникновению пустой кучи. А, хотя пустое множество иногда может входить в множества, в данном случае это бессмысленно - когда вообще ничего нет, то вопрос, куча эта или нет, не имеет смысла.
Следовательно, операция удаления песчинки/человека с вечеринки не может быть рассмотрена как операция, которая делает что-то с множеством куч.
А вот операция ссыпания двух куч в одну, нпрмр, работает отлично. Ну это так, подкрепляющий пример.
Просто получается, мы работаем с кучами - это объекты множества всех куч, которые сами по себе являются множеством песчинок. Есть оператор (удаление песчинки из кучи). Но работать с ним и говорить что-то о нем можно лишь в том случае, если оператор не выводит за пределы множества куч. Не помню уже, как такой называется, но пишется так A:X->X
Так вот, оператор отнятия песчинки может привести к отнятию всех песчинок в куче, следовательно, возникновению пустой кучи. А, хотя пустое множество иногда может входить в множества, в данном случае это бессмысленно - когда вообще ничего нет, то вопрос, куча эта или нет, не имеет смысла.
Следовательно, операция удаления песчинки/человека с вечеринки не может быть рассмотрена как операция, которая делает что-то с множеством куч.
А вот операция ссыпания двух куч в одну, нпрмр, работает отлично. Ну это так, подкрепляющий пример.
раскрыть ветку (4)
Слышал что в какой-то стране была мера веса или объема, называлась "куча" и использовалась в торговле для измерения количества шкур.