On Fri, 27 Jan 2006 13:37:04 +0200
"Nick S. Grechukh" <[EMAIL PROTECTED]> wrote:
> нет, существует определение (кажется, Фреге?.), задающее
> множество абстрактных объектов, на котором работают
> аксиомы формальной арифметики.
>
> {a,b,c} - множество состоящее из элементов a,b,c. [] -
> мощность множества.
>
> 0 = [o]
> 1 = [{o}]
> 2= [{{o},o}]
> 3= [{{{o},o},o}]
> 4= [{{{{o},o},o},o}]
> и т.д.
Все ждал, когда заберу у приятеля книжку с текстом Фреге,
ну да ладно. Если вы эту формулу словами опишите, то
увидите, что в тексте Фреге употребил слово "один", то-ли
"первый"... или "одно-значное (соответствие)", не помню
точно. Прямо анекдот из истории науки. Сами посмотрите в
источнике, факт.
То есть не только множество, но и само понятие числа
неопределимо, даже если предположить, что мы понимаем слово
множество.
Это больше в огорорд Павла камень. Какая, к черту, наука,
если число неопределимо. Она вся на числах построена.
Пользоваться мы ими умеем, а что это - не знаем. То есть
правильно ли пользуемся, непонятно до конца. Может, их есть
надо. Под соусом. И потомки будут смеяться над древними, тут
столько жратвы, а они мучались.
Маленькие числа, до сто в степени сто в степени сто в
степени сто признают народным достоянием и памятником
кулинарии, а всеми остальными будут питаться, тем более, чо
они большие - одим числом, може быть, всю голодающую Африку
год кормить можно.
А кто маленькое съест - сажать будут. И в натуральном ряду
буду дырки, от преступников.
--
Stay tuned!
М.
_______________________________________________
smoke-room mailing list
smoke-room@lists.altlinux.org
https://lists.altlinux.org/mailman/listinfo/smoke-room
