Article View: comp.lang.functional
Article #322Re: Term rewriting and denotation
From: victor yodaiken
Date: Sat, 16 Jun 1990 11:53
Date: Sat, 16 Jun 1990 11:53
21 lines
1338 bytes
1338 bytes
In article <10929@alice.UUCP> td@alice.UUCP (Tom Duff) writes: >I read a bizarre interchange that starts >>This seems like an opportune time to put in a plug for the Primitive >>Recursive arithmetic >and ends >>What's an example of a function that is of real interest >>to a programmer, and that cannot be expressed cleanly as a p.r. function. > >The bizarre part is that people replying to this junk took >it seriously! > >What are you people smoking? >Is your lisp interpreter primitive-recursive? >Is your UNIX kernel? >Is your X server? >Is your VAX microcode? I've never used a computer that was not finite state, so I assume all the programs that run on the computer are certainly primitive-recursive. Counter-example?
Technical Details
Message-ID:
<15713@dime.cs.umass.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!yale!husc6!m2c!umvlsi!dime!yodaikenReferences:
<15421@dime.cs.umass.edu> <GUTTMAN.90Jun12105623@darjeeling.mitre.org> <15548@dime.cs.umass.edu> <10929@alice.UUCP>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!yale!husc6!m2c!umvlsi!dime!yodaiken From: yodaiken@freal.cs.umass.edu (victor yodaiken) Newsgroups: comp.lang.functional Subject: Re: Term rewriting and denotation Message-ID: <15713@dime.cs.umass.edu> Date: 16 Jun 90 11:53:15 GMT References: <15421@dime.cs.umass.edu> <GUTTMAN.90Jun12105623@darjeeling.mitre.org> <15548@dime.cs.umass.edu> <10929@alice.UUCP> Sender: news@dime.cs.umass.edu Reply-To: yodaiken@freal.cs.umass.edu (victor yodaiken) Organization: University of Massachusetts, Amherst Lines: 21