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/