[room] Число

[Michael Bykov]

On Fri, 27 Jan 2006 13:37:04 +0200
"Nick S. Grechukh" <gns на tpway.com> 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! 

М.