Re: OT: coffee and math ( was Re: Tasratal: sketch: connectives)
From: | Keith Gaughan <kmgaughan@...> |
Date: | Sunday, October 21, 2001, 23:43 |
Constructed Languages List <CONLANG@...> wrote:
> > On Sunday, October 21, 2001, at 06:58 , Andreas Johansson wrote:
> >
> > > If so, is a coffee machine a device for turning theorems into money?
>
> Hunh? I fail to see in which way a coffee machine receives theorems as
> an input. Anybody care to explain?
By dispensing the coffee (theorem ore, you might say) in exchange
for money.
That's my guess anyway...
K.
--
Keith Gaughan In the land of the blind, the
kmgaughan@eircom.net one-eyed man is a heretic
http://homepage.eircom.net/~kmgaughan/