Уведомления

Группа в Telegram: @pythonsu

#1 Ноя. 23, 2018 01:01:10

py.user.next
От:
Зарегистрирован: 2010-04-29
Сообщения: 9727
Репутация: +  843  -
Профиль   Отправить e-mail  

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

Rodegast
Ну это ты своей бабушке рассказывать будешь.
Придётся тебе поменять своё мнение, оно неверно сложилось. Школьные пробелы дают о себе знать. Одно множество упорядочивается с помощью другого множества, которое состоит из упорядоченных пар. И вот это множество упорядоченных пар называется отношением. Отношение задано на множестве тогда, когда упорядоченные пары отношения составлены из элементов этого множества.
В алгебраической системе участвует множество (носитель) и отношение (множество n-ок, где n может равняться 2). Так вот множество натуральных чисел - это алгебраическая система, заданная аксиомами Пеано, где отношение задано функцией следования.



Офлайн

#2 Ноя. 23, 2018 10:06:44

Rodegast
От: Пятигорск
Зарегистрирован: 2007-12-28
Сообщения: 2683
Репутация: +  182  -
Профиль   Отправить e-mail  

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

> То, что в некоторых языках это не так, только говорит лишь о том, что пока в этих языках еще не так.

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



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

Онлайн

#3 Ноя. 23, 2018 10:07:22

Rodegast
От: Пятигорск
Зарегистрирован: 2007-12-28
Сообщения: 2683
Репутация: +  182  -
Профиль   Отправить e-mail  

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

> Так вот множество натуральных чисел - это алгебраическая система, заданная аксиомами Пеано, где отношение задано функцией следования.

Сцылку в студию!



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

Онлайн

#4 Ноя. 23, 2018 10:57:29

bulygin69
Зарегистрирован: 2018-11-18
Сообщения: 43
Репутация: +  0  -
Профиль   Отправить e-mail  

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

Rodegast
> То, что в некоторых языках это не так, только говорит лишь о том, что пока в этих языках еще не так.

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

Это говорит о том, что логический и арифметический ноль - одно и тоже.

На С++ результаты такие же, как в python:

//g++  5.4.0
#include <iostream>
using namespace std;

int main()
{
cout << "\n__Логическое И" << endl;
cout << (0 and 0) << endl;//0
cout << (1 and 0) << endl;//0
cout << (0 and 1) << endl;//0
cout << (1 and 1) << endl;//1

cout <<"\nтоже" << endl;
cout << (0!=0 and 0!=0) << endl;//False
cout << (0==0 and 0!=0) << endl; //False
cout << (0!=0 and 0==0) << endl; //False
cout << (0==0 and 0==0) << endl;//True

cout << "\n__Логическое ИЛИ" << endl;
cout << (0 or 0) << endl;//0
cout << (1 or 0) << endl;//1
cout << (0 or 1) << endl;//1
cout << (1 or 1) << endl;//1

cout << "\nтоже" << endl;
cout << (0!=0 or 0!=0) << endl;//False
cout << (0==0 or 0!=0) << endl;///True
cout << (0!=0 or 0==0) << endl;//True
cout << (0==0 or 0==0) << endl;//True

cout << "\n__поверяем арифметику с False" << endl;
cout << "Любое число при сложении с нулём не меняется" << endl;
cout << false + 5 << endl; //5 т.е. сумма числа False c числом дает это же число
cout << "При вычитании нуля из любого числа получается то же число" << endl;
cout << 5 - false << endl;//5 т.е. вычитание False не меняет число
cout << "Умножение любого числа на ноль даёт ноль" << endl;
cout << 5*false << endl; //0 т.е. умножение числа на False дает ноль
cout << "При делении нуля на любое ненулевое число получается ноль" << endl;
cout << false/5 << endl; //0 т.е. при деление False на число получаем ноль
}

Офлайн

#5 Ноя. 23, 2018 13:24:04

py.user.next
От:
Зарегистрирован: 2010-04-29
Сообщения: 9727
Репутация: +  843  -
Профиль   Отправить e-mail  

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

Rodegast
> Так вот множество натуральных чисел - это алгебраическая система, заданная аксиомами Пеано, где отношение задано функцией следования.

Сцылку в студию!
Вот же сообщение.

Rodegast
А тебя не смущает что сами аксиомы Пеано определяются посредством ℕ?
Это просто буква. Ты чо? С дуба рухнул? Они сначала взяли букву, обозначили ею какое-то множество и потом из единицы и функции следования определили закон для этого множества, чтобы получить все его элементы в упорядоченном виде. А элементов там бесконечное количество.



Отредактировано py.user.next (Ноя. 23, 2018 13:29:41)

Офлайн

#6 Ноя. 23, 2018 13:39:48

Rodegast
От: Пятигорск
Зарегистрирован: 2007-12-28
Сообщения: 2683
Репутация: +  182  -
Профиль   Отправить e-mail  

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

> Это говорит о том, что логический и арифметический ноль - одно и тоже.

Всё с тобой ясно, ты дурачёк. Посему дискуссия с тобой прекращается, можешь дальше прибывать в своём выдуманном мире.

> Это просто буква. Ты чо? С дуба рухнул?

А ты вообще в школе/институте учился? ℕ это специальный символ для обозначения множества натуральных чисел. Учись салага: https://ru.wikipedia.org/wiki/Таблица_математических_символов



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

Онлайн

#7 Ноя. 23, 2018 14:18:00

bulygin69
Зарегистрирован: 2018-11-18
Сообщения: 43
Репутация: +  0  -
Профиль   Отправить e-mail  

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

Rodegast
Посему дискуссия с тобой прекращается, можешь дальше прибывать в своём выдуманном мире

Эта логика не только позволяет выразить числа “не через числа” Стандартное же понимание типа: ноль - когда нет ни одного. Только скрывает суть, поскольку для определения нуля в неявном виде уже использует единицу

Такая логика реализована в некоторых языках программирования. Примеры на С++, Python приведены.

Такая логика также объясняет как животные могут считать. Даже отдельный нейрон способен выразить ноль или единицу по той простой причине, что сравнивает с пороговым значение входной сигнал. Что уж говорить о нейронной сети!

P.S. Итак, начальная задача выполнена. Показан алгоритм, который может считать, не использующий числа в явном виде (т.е. не используя мат. операции типа int).

Офлайн

#8 Ноя. 23, 2018 14:26:48

Rodegast
От: Пятигорск
Зарегистрирован: 2007-12-28
Сообщения: 2683
Репутация: +  182  -
Профиль   Отправить e-mail  

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

> Итак, начальная задача выполнена. Показан алгоритм, который может считать, не использующий числа в явном виде (т.е. не используя мат. операции типа int).

Обломись:

 >>> isinstance(True, int)
True



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

Онлайн

#9 Ноя. 23, 2018 14:44:17

bulygin69
Зарегистрирован: 2018-11-18
Сообщения: 43
Репутация: +  0  -
Профиль   Отправить e-mail  

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

Rodegast
> Итак, начальная задача выполнена. Показан алгоритм, который может считать, не использующий числа в явном виде (т.е. не используя мат. операции типа int).

Обломись:

>>> isinstance(True, int)
True

Во-первых, я и утверждал, что с True и False можно совершать арифметические операции
Во-вторых, в коде показано как сконструировать любое число, пользуясь лишь True, False и не используя 0, 1, 2, 3, и т.д. в явном виде Об этом речь!

Отредактировано bulygin69 (Ноя. 23, 2018 14:46:13)

Офлайн

#10 Ноя. 24, 2018 03:52:13

py.user.next
От:
Зарегистрирован: 2010-04-29
Сообщения: 9727
Репутация: +  843  -
Профиль   Отправить e-mail  

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

Rodegast
ℕ это специальный символ для обозначения множества натуральных чисел.
А множество натуральных чисел определяется аксиомами Пеано. Сначала взяли букву N, получили это множество, а потом заменили её на ℕ, потому что это одно из базовых множеств математики. То же самое было с целыми числами, рациональными, действительными и так далее. Их не через буквы придумали. Сначала придумали эти множества, а потом придумали для них буквы, которые будут за ними всегда закреплены.

Rodegast
А ты вообще в школе/институте учился?
Вот я и говорю, что у тебя где-то в школе пробелы были, поэтому у тебя искревлённое понимание базовых понятий. Ты вообще знаешь, что у математики история есть? Что когда-то числа были, а множеств не было? Что есть разная математика, которая вырабатывалась в разных странах своими путями, которая потом и обобщалась в единую математику, сегодняшнюю. Была греческая, индийская, арабская, китайская. И там многие вещи различались, многие понятия различались. И уж уповать на буквы - последнее дело.



Отредактировано py.user.next (Ноя. 24, 2018 03:54:15)

Офлайн

Board footer

Модераторировать

Powered by DjangoBB

Lo-Fi Version