Article View: comp.lang.prolog
Article #2360Re: origin of "arity"
From: Bob McKay
Date: Mon, 24 Jun 1991 01:01
Date: Mon, 24 Jun 1991 01:01
12 lines
1297 bytes
1297 bytes
From article <1991Jun21.200810.1@csc.anu.edu.au>, by ada612@csc.anu.edu.au: > Philologically, I guess the next step would be finding the first > attestation [ of arity]. The date to beat seems to be 1979 (Boyer and Moore), > from ROK's posting. Mac Lane, S 'Categories for the Working Mathematician',Springer,NY,1971,P120: "....called the arity of omega." My own impression is that it's a much earlier term in universal algebra/category theory. Mac Lane is just the oldest text I have that happens to record it in the index. Bob McKay Phone: +61 6 268 8169 fax: +61 6 268 8581 Dept. Computer Science ACSNET,CSNET: rim@csadfa.cs.adfa.oz Aust. Defence Force Academy UUCP: ...!uunet!munnari!csadfa.cs.adfa.oz!rim Canberra ACT 2600 AUSTRALIA ARPA: rim%csadfa.cs.adfa.oz@uunet.uu.net
Technical Details
Message-ID:
<1991Jun24.010140.5018@sserve.cc.adfa.oz.au>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!spool.mu.edu!munnari.oz.au!manuel!ccadfa!sserve!newsReferences:
<1991Jun21.200810.1@csc.anu.edu.au>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!spool.mu.edu!munnari.oz.au!manuel!ccadfa!sserve!news From: rim@csadfa.cs.adfa.oz.au (Bob McKay) Newsgroups: comp.lang.prolog Subject: Re: origin of "arity" Message-ID: <1991Jun24.010140.5018@sserve.cc.adfa.oz.au> Date: 24 Jun 91 01:01:40 GMT References: <1991Jun21.200810.1@csc.anu.edu.au> Sender: news@sserve.cc.adfa.oz.au Organization: Australian Defence Force Academy, Canberra, Australia Lines: 12