From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c42dbf68f5320193 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-05-08 00:47:56 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news.tele.dk!small.news.tele.dk!213.204.128.162!news000.worldonline.se!news010.worldonline.se!not-for-mail Message-ID: <3CD8E580.AFD174D8@mida.se> From: Mats Karlssohn Organization: MIDA Systemutveckling AB X-Mailer: Mozilla 4.78 [en] (X11; U; Linux 2.4.10-4GB i586) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Generation of permutations References: <3CD71F4D.C29A60FC@san.rr.com> <5ee5b646.0205070239.77c6bac2@posting.google.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Wed, 08 May 2002 10:44:48 +0200 NNTP-Posting-Host: 213.204.144.245 X-Trace: news010.worldonline.se 1020843792 213.204.144.245 (Wed, 08 May 2002 09:43:12 MET DST) NNTP-Posting-Date: Wed, 08 May 2002 09:43:12 MET DST Xref: archiver1.google.com comp.lang.ada:23702 Date: 2002-05-08T10:44:48+02:00 List-Id: "Chad R. Meiners" wrote: %< > Actually I am interested where you picked up the phrase "recursively > undecidable". A better phrase would be "not recursive" since we are > referring to recursive languages. Perhaps it is simply a hybridization of > "Turing-decidable" and "recursive" since it would be harmless enough to > merge two equivalent phrases. As far as I can tell, "recursively undecidable" is part of the standard terminology used by logicans and mathematical philosofers. I first heard the term used (and got it explained) during my first university course in mathematical philosophy. How ever this is kind of an interpolation since the course was (of cource ;-) held in swedish. I didn't actually see the english term until later during my first course in logic. -- Mats Karlssohn, developer mailto:mats@mida.se Mida Systemutveckling AB http://www.mida.se Box 64, S-732 22 ARBOGA, SWEDEN Phone: +46-(0)589-89808 Fax: +46-(0)589-89809