Важно лишь различие по отношению к другим. Поэтому число есть то,
как мы различаем что-то одинаковое уникальным способом
и переходы этих различий друг в друга также должны быть уникальны.
Объективно же, число есть различие одинакового единственным образом
///
Простой пример...
Беру камень и задаю вопрос: отличается ли этот камень от самого себя? Отвечаю:
нет, не отличется. Поскольку камень не отличается от самого себя,
вводим уникальное имя этого "не-различия себя", например, "один".
Далее берем другой камень (замечу, что уже вынуждены отличать первый камень
от этого, введя слово "другой"). Задаю вопрос: отличается ли этот камень от камня,
имя которого "один". Ответ: нет, не отличается. Поэтому его надо как-то отличить от камня
с именем один. Назовем его "второй".
Переход одного отличия (один) в другое отличие (два) также должен быть уникальным
(переход с именем "один-в-два").
По сути, если раз за разом отличать что-то одинаковое друг от друга таким образом,
пользуясь именами "один и два и ...", "различие одинаковости" превратятся в привычные нам цифры.
///
1) "1" есть тождество с собой. Другими словами, если нечто не различно с нечто, то это "1" [в булевой алгебре:
1=не-0; 0=не-1]. Отнесем "1" к множеству N (до этого, множество N - пустое множество), которое будем
называть множеством натуральных чисел.
2) Для любого нечто, не принадлежащего множеству натуральных чисел: если это нечто тождественно с тем
нечто, чье "имя" относится к множеству натуральных чисел, то это нечто будем "называть" любым "именем", но
отличным от "имен" из множества натуральных чисел. Причем переход (одного различия в другое) имени этого
нечто в имя того нечто, что ранее отнесли к множеству натуральных чисел, должен быть уникален. [Операция
+/-]
///
у меня две претензии к определению натурального числа, принятого в математике.
1) в аксиомах Пеано: есть "один", "один" принадлежит к множеству натуральных чисел, до "один" ничего нет,
после "один" следует следующий и только один элемент. [а где само определение "одного"?]
2) введена функция следования, такая что за элементом из множества натуральных чисел следует только один
элемент из множества натуральных чисел. При этом предполагается, что само понятие следования интуитивно
понятно. [по мне так, что следование как раз и заключается в описании процесса
нахождения_одинаковости_с_последующим_разделением. И еще. Лучше "заполнять" множество натуральных
чисел по какому-то закону, а не наоборот (хотя это не столь принципиально)]
///
Существенна разница в способе формирования всем знакомого {1->2->3->...}.
- Код ссылки на тему, для размещения на персональном сайте | Показать