//g++ 5.4.0
#include <iostream>
using namespace std;
int main()
{
cout << (“a b c” == “a b c”) << endl; // =1
//“a b c” - одно
}
Полная версия: Числа и предикат равенства Х=Y
bulygin69Как это? Есть множество предикатов и вот оно пустое или непустое. Берём из этого множества предикат равенства и доказываем с его помощью, что он есть.
Он не доказывает самого себя.
Впервые о нуле как (не равном себе) заговорил Фреге:
1) Число, соответствующее понятию F, равно числу, соответствующему понятию G, если
существует отношение, которое взаимно однозначно соотносит предметы, подпадающие
под F, с предметами подпадающими под G.
2) Ноль – это число, соответствующее понятию «неравное себе»
3) Один – это число, соответствующее понятию «равное 0»
Что означает (равняться нулю)? То, что (0 = 0).
Это (0 = 0) выводится из (Х = Х), т.к
(Х - Х = 0)
1) Число, соответствующее понятию F, равно числу, соответствующему понятию G, если
существует отношение, которое взаимно однозначно соотносит предметы, подпадающие
под F, с предметами подпадающими под G.
2) Ноль – это число, соответствующее понятию «неравное себе»
3) Один – это число, соответствующее понятию «равное 0»
Что означает (равняться нулю)? То, что (0 = 0).
Это (0 = 0) выводится из (Х = Х), т.к
(Х - Х = 0)
Что такое “ноль”? Что такое “одно равно другому” и “одно не равно другому”?
bulygin69 То о чём ты тут пишешь это детский сад. Вот действительно стоящий курс лекций: https://www.youtube.com/watch?v=gpifdHvtr0k&list=PLvPsfYrGz3wsX3Z5KuuEVYhijDxhKCDDD
RodegastТеория категорий, как и язык haskell отчасти использующий ее идеи, не определяет ноль и единицу аналитически. Объяснять же один, показывая палец - вот это действительно детский сад.
bulygin69 То о чём ты тут пишешь это детский сад. Вот действительно стоящий курс лекций: https://www.youtube.com/watch?v=gpifdHvtr0k&list=PLvPsfYrGz3wsX3Z5KuuEVYhijDxhKCDDD
Еще раз. Эта теория решает многие сложные задачи. Но это не означает, что решает все теоретические вопросы. Например, то, что единичный объект в ней трактуется как А->A … так это давно известно.
Все попытки задать пустое множество как множество, в котором нет объектов … все-равно что сказать - нет объектов, когда их нет. Не более.
На мой взгляд, лучше всего подходит: теоретико-множественное определение натуральных чисел (определение Фреге — Рассела)
Но и здесь своя сложность. Как этим языком записать решение простой задачки типа: на дереве сидела одна птичка, затем улетела. Сколько птичек осталось?
Вроде банальность. Но это только на первый взгляд.
Теория (хотя бы ее узкая часть), если не может решать простые вещи, по сути бесполезна. Кроме того, предпочтение всегда отдается той теории, которая решает задачу более простыми методами.
P.S. То, о чем написано в топике, относится только к числам натурального ряда, включая ноль, и законам де Моргана.
> не определяет ноль и единицу аналитически
А оно тебе надо?
А оно тебе надо?
А где то в другой вселенной людям есть чем заняться..
bulygin69
Стартовый топик стоило бы начать с чего то вводного,а не сразу бросаться не понять чем. Посмотрите на название подфорума, в чем ваш проект то?
bulygin69
Стартовый топик стоило бы начать с чего то вводного,а не сразу бросаться не понять чем. Посмотрите на название подфорума, в чем ваш проект то?
JOHN_16Считаю бессмысленным писать что-то вводное. По той простой причине, что нужно тогда отсылать к работам Фреге, Рассела … Лучше сразу предъявить код, который сам за себя говорит.
А где то в другой вселенной людям есть чем заняться..
bulygin69
Стартовый топик стоило бы начать с чего то вводного,а не сразу бросаться не понять чем. Посмотрите на название подфорума, в чем ваш проект то?
В чем проект? В том, что числа - это отношения (равно, не-равно), взятые в определенных комбинациях друг к другу.
P.S. Служил начале 90-х на подлодке в П-Камчатском-53. Так что привет почти родному городу.
> Ноль - то, что равно и не равно себе. Каждое последующее число - то, что равно себе и не равно каждому предыдущему
> числа - это отношения (равно, не-равно), взятые в определенных комбинациях друг к другу.
Т.е. число 100 является числом 100 потому что 100 == 100 и не равняется ничему больше? И чем это отличается от пояснения на пальцах? Но если ты поймёшь что числовой ряд начинающейся с нуля являться моноидом (а моноид это категория), то сможешь дать более убедительное определение чисел.
> числа - это отношения (равно, не-равно), взятые в определенных комбинациях друг к другу.
Т.е. число 100 является числом 100 потому что 100 == 100 и не равняется ничему больше? И чем это отличается от пояснения на пальцах? Но если ты поймёшь что числовой ряд начинающейся с нуля являться моноидом (а моноид это категория), то сможешь дать более убедительное определение чисел.