From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Date: Thu, 16 Feb 2006 10:58:00 +0300 From: Michael Bykov To: smoke-room@lists.altlinux.org Subject: Re: [room] =?KOI8-R?Q?=FE=C9=D3=CC=CF?= Message-ID: <20060216105800.37145320@bibler.ru> In-Reply-To: <200601271337.04235.gns@tpway.com> References: <20060127213715.728d8f0d@michael.rsuh.ru> <200601271256.15036.gns@tpway.com> <20060127112444.GF27008@ldc.net> <200601271337.04235.gns@tpway.com> Organization: rsuh X-Mailer: Sylpheed-Claws 1.9.15cvs14 (GTK+ 2.8.6; i586-alt-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=KOI8-R Content-Transfer-Encoding: 8bit X-BeenThere: smoke-room@lists.altlinux.org X-Mailman-Version: 2.1.6 Precedence: list Reply-To: =?koi8-r?b?y9XM2NTV0s7ZyiDPxtTP0MnL?= List-Id: =?koi8-r?b?y9XM2NTV0s7ZyiDPxtTP0MnL?= List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 15 Feb 2006 23:59:10 -0000 Archived-At: List-Archive: On Fri, 27 Jan 2006 13:37:04 +0200 "Nick S. Grechukh" 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! М.