From pycyn@aol.com Thu Mar 14 11:09:04 2002 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 14 Mar 2002 19:09:03 -0000 Received: (qmail 83471 invoked from network); 14 Mar 2002 19:09:03 -0000 Received: from unknown (216.115.97.171) by m4.grp.snv.yahoo.com with QMQP; 14 Mar 2002 19:09:03 -0000 Received: from unknown (HELO imo-m03.mx.aol.com) (64.12.136.6) by mta3.grp.snv.yahoo.com with SMTP; 14 Mar 2002 19:09:03 -0000 Received: from Pycyn@aol.com by imo-m03.mx.aol.com (mail_out_v32.5.) id r.106.eba2c4e (3927) for ; Thu, 14 Mar 2002 14:08:56 -0500 (EST) Message-ID: <106.eba2c4e.29c24f48@aol.com> Date: Thu, 14 Mar 2002 14:08:56 EST Subject: Re: [lojban] lojban application in wearable computing To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_106.eba2c4e.29c24f48_boundary" X-Mailer: AOL 7.0 for Windows US sub 118 From: pycyn@aol.com X-Yahoo-Group-Post: member; u=2455001 X-Yahoo-Profile: kaliputra --part1_106.eba2c4e.29c24f48_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit 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. --part1_106.eba2c4e.29c24f48_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit 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. --part1_106.eba2c4e.29c24f48_boundary--