Someone should do some work (was Re: RFC 7168 on The Hyper Text Coffee Pot Control Protocol for Tea Efflux Appliances (HTCPCP-TEA))

Andrew Sullivan <ajs@anvilwalrusden.com> Thu, 03 April 2014 00:42 UTC

Return-Path: <ajs@anvilwalrusden.com>
X-Original-To: ietf@ietfa.amsl.com
Delivered-To: ietf@ietfa.amsl.com
Received: from localhost (ietfa.amsl.com [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 766A11A0435 for <ietf@ietfa.amsl.com>; Wed, 2 Apr 2014 17:42:05 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.141
X-Spam-Level:
X-Spam-Status: No, score=-0.141 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HELO_MISMATCH_INFO=1.448, HOST_MISMATCH_NET=0.311] autolearn=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ysdrRtTzEbgl for <ietf@ietfa.amsl.com>; Wed, 2 Apr 2014 17:42:01 -0700 (PDT)
Received: from mx1.yitter.info (ow5p.x.rootbsd.net [208.79.81.114]) by ietfa.amsl.com (Postfix) with ESMTP id 6D0BF1A0432 for <ietf@ietf.org>; Wed, 2 Apr 2014 17:42:01 -0700 (PDT)
Received: from mx1.yitter.info (c-75-69-155-67.hsd1.nh.comcast.net [75.69.155.67]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.yitter.info (Postfix) with ESMTPSA id 99DB68A031 for <ietf@ietf.org>; Thu, 3 Apr 2014 00:41:56 +0000 (UTC)
Date: Wed, 2 Apr 2014 20:41:54 -0400
From: Andrew Sullivan <ajs@anvilwalrusden.com>
To: ietf@ietf.org
Subject: Someone should do some work (was Re: RFC 7168 on The Hyper Text Coffee Pot Control Protocol for Tea Efflux Appliances (HTCPCP-TEA))
Message-ID: <20140403004154.GF56668@mx1.yitter.info>
References: <20140401220040.F06667FC394@rfc-editor.org> <CADn-GthSGvG9SOtE7sfzsbtS0SyXHO6xOKXYZHgzDjYux+tYcQ@mail.gmail.com> <F11C2722-7821-4BBB-B6ED-6B8F20A978AB@nominum.com> <BC2AAC258726307E193F95F0@JcK-HP8200.jck.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <BC2AAC258726307E193F95F0@JcK-HP8200.jck.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Archived-At: http://mailarchive.ietf.org/arch/msg/ietf/510Blhumym7dcUs6JfF7Dtq4uc8
X-BeenThere: ietf@ietf.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: IETF-Discussion <ietf.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/ietf>, <mailto:ietf-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/ietf/>
List-Post: <mailto:ietf@ietf.org>
List-Help: <mailto:ietf-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/ietf>, <mailto:ietf-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 03 Apr 2014 00:42:05 -0000

On Wed, Apr 02, 2014 at 08:01:52PM -0400, John C Klensin wrote:
> (and others that should know better), is pretty clearly not tea
> but it is less clear whether it is not-tea or not.

There is evidently an opportunity for an intuitionistic state machine
here.  In intuitionism, as I'm sure everyone is fully aware, the law
of excluded middle and double-negation are both rejected as axioms
(mostly because of the principle of constructive provability.
Intuitionism is not a 2-value logic, and may not be a finite-value
logic).

I think it would be fun to write ABNF for this system.  Or more
exactly, I think it would be fun if someone else did that.

Best regards,

A

-- 
Andrew Sullivan
ajs@anvilwalrusden.com