← Timeline
Avatar placeholder
stenmi

Услышал мимоходом, что в математике единица не определена, то есть у неё нет определения.
Это то, что я услышал, а дальше идёт моя отсебятина.

Как я это понимаю. Например, такая штука, как "одна собака". Эта штука, "одна собака", определяется? Я думаю, да, через собаку. Что одно? Собака одна. Тут проблемы нет с определением единицы. Проблема возникает, когда нужно дать определение абстрактной единице, без собак. Что такое одна абстрактная единица? Это что-то одно абстрактное. Но это получается определение в круге, определение через самое себя, а надо определить через что-то другое.

Как я понимаю, абстрактная двойка определяется через абстрактную единицу. Что такое абстрактная двойка? Это две абстрактные единицы. Всё понятно. И как я понимаю, любое число (все числа) определяется через единицу (ну, наверное это относится не только к натуральным и прочим естественным числам, но также и к неестественным, противоестественным числам, всяким комплексным, мнимым тощо, но не исключено, что собака тут порылась). Но может быть, это игра не только в одни ворота, но в обе стороны? Двойка это две единицы, ок, а что такое "две единицы"? Давайте определим "две единицы". Две единицы это двойка. Получилось определение для двух единиц. Отсюда вытекает определение для одной единицы: абстрактная единица это половина двойки.

Одновременно с этим абстрактная единица это одна треть тройки. Одновременно с этим абстрактная единица это одна четвертая четверки. И так далее. Получается, у абстрактной единицы бесконечное количество определений, все они истинны и ни одно из них ложно. Выглядит экзотически, мягко говоря, но ну и что? Когда бесконечное число чисел определяются через единицу, это не выглядит экзотически, а когда единица определяется через бесконечное число чисел, то это экзотика. Это другое ))

To react or comment  View in Web Client
Comments (4)
Avatar
Avatar placeholder

Такое определение единицы через двойку, тройку и т.п. тоже выглядит как определение в круге. Бо сначала определяется двойка через единицу, а потом единица определяется назад через двойку. Получилось, двойка это "единица и единица", а одна единица это половина от "единица и единица". То есть, единица это единица. Круг, уперлись в самое себя.

Но кто сказал, что СНАЧАЛА определяется двойка через единицу, а УЖЕ ПОТОМ единица определяется через двойку? Может наоборот, это же всё абстрактно: сначала единица определяется через двойку, а уже потом двойка определяется через единицу? Тогда получается, что из всех чисел определение есть только у единицы, а у всех остальных чисел его нет - у всех остальных чисел оно в круге, через самое себя. Что такое единица? Это половина двойки (одна треть тройки и т.д.). А что такое двойка? Это две половина двойки - круг.

Получается белиберда. Но может быть (это же математика, абстрактная штука без времени) не нужно считать, что сначала то, а уже потом это. Нет никакого "сначала" и потом". Тогда ничего не определено, вообще всё в круге. Ну и что, может так оно и есть.

Avatar placeholder

Сори, но вот это шо там по ссылке, я вообще ничего не понимаю, ну то есть вообще. Я только по селянськи умею.

Avatar

Ну допустим, мешок. И функция "положить X в мешок".

Допустим, сначала у нас есть ничего. Если это ничего положить в мешок, получается просто мешок, пустой (мы эту функцию применили один раз; "один" говорю для пояснения, мы ещё не знаем этого понятия). Если теперь применить её ещё раз, получается мешок в мешке. Если это положить в мешок, получается мешок в мешке в мешке. И так далее. И вот эта штука, многократная композиция функции с самой собой (в данном случае, функции "положить в мешок") и есть число по Черчу. 0 - не класть ничего в мешок, 1 - положить один раз и получить собственно мешок, два - положить в мешок (положить в мешок ничего), три - положить в мешок (положить в мешок (положить в мешок ничего)) и т.д.

👍1
To react or comment  View in Web Client