← Сtrl

bulygin69 · Ноя. 19, 2018 16:09:23

Rodegast
Т.е. число 100 является числом 100 потому что 100 == 100 и не равняется ничему больше?

Нет, не так. …

Rodegast · Ноя. 19, 2018 16:30:10

> Нет, не так.

Но тогда как? Попробуй выразить число 100 через эту логику.

С дураками и сектантами не спорю, истину не ищу.
Ели кому-то правда не нравится, то заранее извиняюсь.

bulygin69 · Ноя. 19, 2018 16:42:43

Rodegast
> Но тогда как? Попробуй выразить число 100 через эту логику.

Неужели так трудно запустить программу и посмотреть ее действие по шагам?

Ноль - то, что равно и не равно себе
Один - то, что равно себе и не равно предыдущему (нулю)
Второй - то, что равно себе и не равно нулю, первому
Третий - то, что равно себе и не равно нулю, первому, второму
и т.д.

Отредактировано bulygin69 (Ноя. 19, 2018 16:43:30)

bulygin69 · Ноя. 19, 2018 16:58:46

Для сравнения - аксиомы Пеано

Что в них говорится?
Что один - это число. И все! Это все равно, что сказать, что слон - млекопитающее. Но этого мало! Чем слон отличается от других млекопитающих? В таком виде непонятно.

Смотрим дальше.

Есть функция следования. Что значит следовать? Опять непонятно. Мы, конечно, интуитивно это понимаем. Но этого опять мало!

P.S. Функция следования (как она представлена в программе) - это (не равняться с каждым предыдущим)

Отредактировано bulygin69 (Ноя. 19, 2018 17:00:10)

Rodegast · Ноя. 19, 2018 18:23:31

> Один - то, что равно себе и не равно предыдущему (нулю)

А что значит “равно предыдущему”? У тебя множества, а значит что какой либо порядок отсутствует по определению.

> Есть функция следования

Её у тебя нет.

С дураками и сектантами не спорю, истину не ищу.
Ели кому-то правда не нравится, то заранее извиняюсь.

bulygin69 · Ноя. 19, 2018 18:32:25

Rodegast
А что значит “равно предыдущему”?

Не равно предыдущему. Если было бы равно, то не было бы различий (не бывает чего-то два, которые ни в чем не различаются)

Rodegast
У тебя множества, а значит что какой либо порядок отсутствует по определению.

Где в коде множество чисел? Его нет. Есть множество элементов, которые требуется посчитать. Это совершенно разное.

bulygin69
Для сравнения - аксиомы Пеано Что в них говорится? Что один - это число. И все! Это все равно, что сказать, что слон - млекопитающее. Но этого мало! Чем слон отличается от других млекопитающих? В таком виде непонятно.Смотрим дальше.Есть функция следования. Что значит следовать? Опять непонятно. Мы, конечно, интуитивно это понимаем. Но этого опять мало!P.S. Функция следования (как она представлена в программе) - это (не равняться с каждым предыдущим)

Rodegast
> Есть функция следования
Её у тебя нет.

Есть.

Отредактировано bulygin69 (Ноя. 19, 2018 18:37:01)

Rodegast · Ноя. 19, 2018 19:01:56

> Не равно предыдущему.
> Где в коде множество чисел? Его нет. Есть множество элементов, которые требуется посчитать

В множестве любых значений порядок отсутствует, а значит нет никаких “предыдущих” элементов.

> Есть.

Ну и где она? Более того если у тебя множество произвольных элементов, то такую функцию невозможно создать.

С дураками и сектантами не спорю, истину не ищу.
Ели кому-то правда не нравится, то заранее извиняюсь.

bulygin69 · Ноя. 19, 2018 19:13:53

Rodegast
> Не равно предыдущему.
> Где в коде множество чисел? Его нет. Есть множество элементов, которые требуется посчитать

В множестве любых значений порядок отсутствует, а значит нет никаких “предыдущих” элементов.

Повторяю. Есть множество элементов, которое требуется сосчитать. Оно не упорядочено. Есть упорядоченное. В программе это список натуральных чисел.

Справка:
Множество M называется упорядоченным, если между его элементами установлено некоторое отношение a < b (“a предшествует b”), обладающее следующими свойствами: 1) между любыми двумя элементами a и b существует одно и только одно из трех соотношений: a = b, a < b, b < a; 2) для любых трех элементов a, b и c из a < b, b < c следует a < c.

P.S. Поскольку каждому элементу множества ставится в соответствие ТОЛЬКО ОДНО значение из списка чисел, то это функция

Rodegast · Ноя. 19, 2018 19:38:45

> Есть упорядоченное. В программе это список натуральных чисел.

Множество и список это совершенно разные структуры данных.

> Множество M называется упорядоченным, если между его элементами установлено некоторое отношение a < b

Совершенно верно, более того функция которая определяет это соотношение как раз и является функцией следования. Но поскольку в твоём множестве несравнимые величины, то создать такую функцию невозможно.

С дураками и сектантами не спорю, истину не ищу.
Ели кому-то правда не нравится, то заранее извиняюсь.

bulygin69 · Ноя. 19, 2018 20:06:31

Rodegast
> Есть упорядоченное. В программе это список натуральных чисел.

Множество и список это совершенно разные структуры данных.

Список - упорядоченная структура данных. И именно это используется для хранения чисел
Множество {a, с, b, …} не упорядочено. Но каждому элементу этого множества можно однозначно сопоставить ТОЛЬКО ОДИН элемент этого списка (с учетом порядка следования) . Это и есть функция. Функцией же следования (а не просто функцией) она будет потому, что отношение здесь задается как (не равняться каждому предыдущему).

Отредактировано bulygin69 (Ноя. 19, 2018 20:14:33)

Python-сообщество

Уведомления

#1 Ноя. 19, 2018 16:09:23

Числа и предикат равенства Х=Y

#2 Ноя. 19, 2018 16:30:10

Числа и предикат равенства Х=Y

#3 Ноя. 19, 2018 16:42:43

Числа и предикат равенства Х=Y

#4 Ноя. 19, 2018 16:58:46

Числа и предикат равенства Х=Y

#5 Ноя. 19, 2018 18:23:31

Числа и предикат равенства Х=Y

#6 Ноя. 19, 2018 18:32:25

Числа и предикат равенства Х=Y

#7 Ноя. 19, 2018 19:01:56

Числа и предикат равенства Х=Y

#8 Ноя. 19, 2018 19:13:53

Числа и предикат равенства Х=Y

#9 Ноя. 19, 2018 19:38:45

Числа и предикат равенства Х=Y

#10 Ноя. 19, 2018 20:06:31

Числа и предикат равенства Х=Y

Board footer