Услышал мимоходом, что в математике единица не определена, то есть у неё нет определения.
Это то, что я услышал, а дальше идёт моя отсебятина.
Как я это понимаю. Например, такая штука, как "одна собака". Эта штука, "одна собака", определяется? Я думаю, да, через собаку. Что одно? Собака одна. Тут проблемы нет с определением единицы. Проблема возникает, когда нужно дать определение абстрактной единице, без собак. Что такое одна абстрактная единица? Это что-то одно абстрактное. Но это получается определение в круге, определение через самое себя, а надо определить через что-то другое.
Как я понимаю, абстрактная двойка определяется через абстрактную единицу. Что такое абстрактная двойка? Это две абстрактные единицы. Всё понятно. И как я понимаю, любое число (все числа) определяется через единицу (ну, наверное это относится не только к натуральным и прочим естественным числам, но также и к неестественным, противоестественным числам, всяким комплексным, мнимым тощо, но не исключено, что собака тут порылась). Но может быть, это игра не только в одни ворота, но в обе стороны? Двойка это две единицы, ок, а что такое "две единицы"? Давайте определим "две единицы". Две единицы это двойка. Получилось определение для двух единиц. Отсюда вытекает определение для одной единицы: абстрактная единица это половина двойки.
Одновременно с этим абстрактная единица это одна треть тройки. Одновременно с этим абстрактная единица это одна четвертая четверки. И так далее. Получается, у абстрактной единицы бесконечное количество определений, все они истинны и ни одно из них ложно. Выглядит экзотически, мягко говоря, но ну и что? Когда бесконечное число чисел определяются через единицу, это не выглядит экзотически, а когда единица определяется через бесконечное число чисел, то это экзотика. Это другое ))
Comments (4)
См. Числа Чёрча
https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%B4%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_%D0%A7%D1%91%D1%80%D1%87%D0%B0#%D0%A7%D0%B8%D1%81%D0%BB%D0%B0_%D0%A7%D1%91%D1%80%D1%87%D0%B0
Такое определение единицы через двойку, тройку и т.п. тоже выглядит как определение в круге. Бо сначала определяется двойка через единицу, а потом единица определяется назад через двойку. Получилось, двойка это "единица и единица", а одна единица это половина от "единица и единица". То есть, единица это единица. Круг, уперлись в самое себя.
Но кто сказал, что СНАЧАЛА определяется двойка через единицу, а УЖЕ ПОТОМ единица определяется через двойку? Может наоборот, это же всё абстрактно: сначала единица определяется через двойку, а уже потом двойка определяется через единицу? Тогда получается, что из всех чисел определение есть только у единицы, а у всех остальных чисел его нет - у всех остальных чисел оно в круге, через самое себя. Что такое единица? Это половина двойки (одна треть тройки и т.д.). А что такое двойка? Это две половина двойки - круг.
Получается белиберда. Но может быть (это же математика, абстрактная штука без времени) не нужно считать, что сначала то, а уже потом это. Нет никакого "сначала" и потом". Тогда ничего не определено, вообще всё в круге. Ну и что, может так оно и есть.
Сори, но вот это шо там по ссылке, я вообще ничего не понимаю, ну то есть вообще. Я только по селянськи умею.
Ну допустим, мешок. И функция "положить X в мешок".
Допустим, сначала у нас есть ничего. Если это ничего положить в мешок, получается просто мешок, пустой (мы эту функцию применили один раз; "один" говорю для пояснения, мы ещё не знаем этого понятия). Если теперь применить её ещё раз, получается мешок в мешке. Если это положить в мешок, получается мешок в мешке в мешке. И так далее. И вот эта штука, многократная композиция функции с самой собой (в данном случае, функции "положить в мешок") и есть число по Черчу. 0 - не класть ничего в мешок, 1 - положить один раз и получить собственно мешок, два - положить в мешок (положить в мешок ничего), три - положить в мешок (положить в мешок (положить в мешок ничего)) и т.д.