DjangoBB LoFi version

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

Начало » Python проекты » Числа и предикат равенства Х=Y

1 2 3 4 5 6 7 8 9 10 11

bulygin69

Ноя. 20, 2018 15:03:19

Rodegast
Какая разница? У python-функций и математических функций смысл тот же. Разница лишь в способе передачи аргументов.

Функция sum в программе возвращает сумму, количество элементов. Но там есть еще функция следования, которая в явном виде (через def) не представлена. Ее задача: каждому элементу множества поставить в соответствие только одно число из списка N (каждый следующий элемент которого не равен каждому предыдущему). Еще раз: эти функции решают разные задачи и одна выражена явно через def, а другая неявно (без def)

Rodegast
>>> 0 == 0
True

Это означает, что ноль существует.
Но когда нужно выразить, что нуль не существует … выразить следует так: 0 != 0

Rodegast

Ноя. 20, 2018 15:30:47

> Функция sum в программе возвращает сумму, количество элементов.

Для этого есть функция len ничего другого придумывать не надо.

> Но там есть еще функция следования, … Ее задача: каждому элементу множества поставить в соответствие только одно число из списка N (каждый следующий элемент которого не равен каждому предыдущему).

Вот например твоё множество: {None, 9, True, ‘d’} как ты определишь что больше 9 или ‘d’?

> Это означает, что ноль существует. Но когда нужно выразить, что нуль не существует … выразить следует так: 0 != 0

Вот ты уже и сам запутался…

bulygin69

Ноя. 20, 2018 16:08:57

Rodegast
> Функция sum в программе возвращает сумму, количество элементов.

Для этого есть функция len ничего другого придумывать не надо.

Сколько раз повторять: задача состояла в том, чтобы сосчитать элементы, не пользуясь числами в явном виде и не используя иные функции, которые их используют/

Rodegast
Вот например твоё множество: {None, 9, True, ‘d’} как ты определишь что больше 9 или ‘d’?

Так вопрос вообще не стоит. … Есть же код! Ничего сложного там нет!
В список N добавляется False. Берется элемент множества. Пусть им будет 9. Он равен себе? Да. Он не равен предыдущему, т.е. False? Да. Значит о нем можно сказать, что он первый. Берется другой элемент. Пусть им будет ‘d’. Он равен себе? Да. Он не равен каждому предыдущему, т.е не равен False, не равен первому? Да. Тогда он второй. … И т.д. … Разумеется, первым может быть ‘d’, а вторым, например, 9.

Rodegast
> Это означает, что ноль существует. Но когда нужно выразить, что нуль не существует … выразить следует так: 0 != 0

Вот ты уже и сам запутался…

Я же сказал, что … ноль = (равно и не равно себе). Это означает, что (ноль равен нулю) и (ноль не-равен нулю). Далее. Поскольку (ноль равен нулю) возвращает истину, а (ноль не-равно нулю) возвращает ложь, то (истина и ложь) возвращает ложь, т.е. ноль.

Еще древние задавались вопросом: существует ли то, что не существует. Ответом будет: несуществующее существует и несуществующее не существует. … Что ноль = (равно и не равно себе) как раз показывает.

Rodegast

Ноя. 20, 2018 17:53:46

> Сколько раз повторять: задача состояла в том, чтобы сосчитать элементы, не пользуясь числами в явном виде и не используя иные функции, которые их используют

Я это в первые слышу.

> Разумеется, первым может быть ‘d’, а вторым, например, 9.

Вот об этом и речь! Твоя функция не может гарантировать никакого порядка.

> Я же сказал, что … ноль = (равно и не равно себе). Это означает, что (ноль равен нулю) и (ноль не-равен нулю). Далее. Поскольку (ноль равен нулю) возвращает истину, а (ноль не-равно нулю) возвращает ложь, то (истина и ложь) возвращает ложь, т.е. ноль.

Ты бы определился равен ноль нулю или не равен. А то это уже шизофрению начинает напоминать…

bulygin69

Ноя. 20, 2018 18:16:15

Rodegast
> Разумеется, первым может быть ‘d’, а вторым, например, 9.

Вот об этом и речь! Твоя функция не может гарантировать никакого порядка.

Да что ж такое! Не о порядке в множестве идет речь. В списке N получаем упорядоченность: 0, 1, 2, 3, 4
И этот список формируется по правилу: каждое следующее число должно различаться с каждым предыдущим.

Rodegast
Ты бы определился равен ноль нулю или не равен. А то это уже шизофрению начинает напоминать…

Во-первых, в самом коде сказано: NULL = (False == Falsee and False != False)
т.е. (ложь равна лжи и ложь не-равна лжи)
Во-вторых, в квантовой физике есть принцип суперпозиции, когда о квантовой частице можно сказать, что она может находиться в разных состояниях одновременно. Если эти состояния - ее координаты, то получаем, что квантовая частица (т.е. та, размеры которой почти нулевые ) может быть в разных местах одновременно.
Это тот же эффект!

py.user.next

Ноя. 21, 2018 01:49:09

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

Не, упорядоченное множество - это то, на котором задано отношение порядка. Множество с заданным на нём отношением - это алгебраическая система.

Rodegast
А то это уже шизофрению начинает напоминать…

При шизофрении главное не что пишет человек, а зачем. Я вот не вижу, зачем ему это.

bulygin69

Ноя. 21, 2018 03:11:44

В математике, чтобы доказать, что чего-то нет, часто используют доказательство от противного.

Например, как доказать, что колесико не может крутиться.

Доказательство следующее. Допустим, что одно из них крутится по часовой. Тогда рядом находящееся крутится против часовой. Аналогично для других. В итоге получаем, что оно крутится как по часовой, так и против часовой. Но такого не может быть!

Это “не может быть” как раз показывает формула: (колесико вращается по часовой == колесико вращается против часовой) == (не существует такого, вращающегося в разные стороны, колесика).

Именно эта логика используется, чтобы задать ноль. Далее получаем один, что является не нулем.

На этом же примере: not (не существует такого колесика) = (существует такое колесико) = (одно такое колесико). Какую роль здесь играет not? Такую, что не допускает, чтобы колесиков было нечетное количество.

bulygin69

Ноя. 21, 2018 05:09:55

Как появился счет? …

Мамонт - Палочка
Мамонт, Мамонт - Палочка, Палочка
Мамонт, Мамонт, Мамонт - Палочка, Палочка, Палочка
… Получили трех Мамонтов, которые выражены как (Палочка, Палочка, Палочка)

Но такое соответствие не главное! Хотя и и вполне уместно.

Можно и так сопоставлять:
Мамонт - Палочка, Палочка, Палочка
Мамонт, Мамонт - Палочка,
Мамонт, Мамонт, Мамонт - Палочка, Палочка
… Получили трех Мамонтов, которые выражены как (Палочка, Палочка)
… А один мамонт выражен как ( Палочка, Палочка, Палочка), а два как (Палочка)

В следующий раз, когда кто-то покажет (Палочка, Палочка), становится ясно, что речь идет о (Мамонт, Мамонт, Мамонт)

Главное: различаться с каждым предыдущим. И способ, указанный первым - лишь частный случай этого правила.

P.S. Так, цифру 1 - можно получить соединением двух палочек, а цифру 4 можно получить соединением трех палочек.

Rodegast

Ноя. 21, 2018 10:11:31

> Не о порядке в множестве идет речь.

А что по твоему делает функция упорядочивания?

> Во-первых, в самом коде сказано: NULL = (False == Falsee and False != False) … Во-вторых, в квантовой физике есть принцип суперпозиции … Это тот же эффект!

Ты ещё мамой поклянись

Мне как минимум нужна ссылка на математическое доказательство этого факта.

> Не, упорядоченное множество - это то, на котором задано отношение порядка. Множество с заданным на нём отношением - это алгебраическая система.

Вот его множество {None, 9, True, ‘d’}. Где тут задано отношение порядка?

bulygin69

Ноя. 21, 2018 10:34:19

Rodegast
Вот его множество {None, 9, True, ‘d’}. Где тут задано отношение порядка?

в этом - нигде

Rodegast
> Во-первых, в самом коде сказано: NULL = (False == Falsee and False != False) … Во-вторых, в квантовой физике есть принцип суперпозиции … Это тот же эффект!

Ты ещё мамой поклянись Мне как минимум нужна ссылка на математическое доказательство этого факта.

В математике ноль задается свойствами: 0+x=x, 0*x=0

Вызывать функцию ниже, подставляя вместо Х значения (чтобы убедиться, что это так), можно хоть до посинения.

 print("\n__ноль")
def f0(x, p):
    NULL = (False==False  and False!=False)
    '''NULL то, что равно и не равно себе'''
    
    if p == "+":
        return x + NULL
    if p == "*":
        return x * NULL
    if p == "**":
        return x ** NULL
    
print("суммируем с нулем: ", f0(4, "+")) # =4
print("умножаем на ноль: ", f0(6, "*"))  # =0
print("возводим в степень ноль: ", f0(7, "**"))  # =1

P.S. Колмогоров / Математическая логика стр-130