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