From robin@BILKENT.EDU.TR Thu Mar 14 15:45:15 2002 Return-Path: X-Sender: robin@real-time.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 14 Mar 2002 23:45:15 -0000 Received: (qmail 41871 invoked from network); 14 Mar 2002 23:45:15 -0000 Received: from unknown (216.115.97.167) by m6.grp.snv.yahoo.com with QMQP; 14 Mar 2002 23:45:15 -0000 Received: from unknown (HELO localhost.localdomain) (139.179.111.137) by mta1.grp.snv.yahoo.com with SMTP; 14 Mar 2002 23:45:13 -0000 Received: from localhost (localhost [[UNIX: localhost]]) by localhost.localdomain (8.11.3/8.11.3) id g2ENwX301499 for lojban@yahoogroups.com; Fri, 15 Mar 2002 01:58:33 +0200 Content-Type: text/plain; charset="iso-8859-1" To: lojban@yahoogroups.com Subject: [OT] Re: [lojban] lojban application in wearable computing Date: Fri, 15 Mar 2002 01:58:33 +0200 X-Mailer: KMail [version 1.2] References: <106.eba2c4e.29c24f48@aol.com> In-Reply-To: <106.eba2c4e.29c24f48@aol.com> MIME-Version: 1.0 Message-Id: <02031501583304.01181@localhost.localdomain> Content-Transfer-Encoding: 8bit From: Robin Turner Reply-To: robin@bilkent.edu.tr X-Yahoo-Group-Post: member; u=810606 X-Yahoo-Profile: digambaranath X-Yahoo-Message-Num: 13745 On Thursday 14 March 2002 21:08, pycyn@aol.com wrote: > In a message dated 3/14/2002 6:51:20 AM Central Standard Time, > > robin@BILKENT.EDU.TR writes: > > "Give me the views, and I'll give you the arguments." - Chrysippus > > In context, probably better as "Give me the theorems and I'll give you the > proofs" This is the classic young logician letting his teacher (Diodoros > Chronos?) know that the pupil has passed the teacher by (he seems to have > found the automatic proof procedures for Stoic propositional calculus). > But he was week on conditionals. Well, I take your word for it. Chrysippus is so hard to follow that other Stoics (notably Epictetus, if I remember correctly) used to poke fun at people who claimed they could understand him. robin.tr