Halting problem and programming languages.

salomon@silver.cs.umanitoba.ca (Daniel J. Salomon)
Sat, 24 Jun 1995 12:15:10 GMT

          From comp.compilers
Related articles
Halting problem and programming languages. salomon@silver.cs.umanitoba.ca (1995-06-24)
| List of all articles for this month |
Newsgroups: comp.compilers
From: salomon@silver.cs.umanitoba.ca (Daniel J. Salomon)
Keywords: theory, question
Organization: Computer Science, University of Manitoba, Winnipeg, Canada
Date: Sat, 24 Jun 1995 12:15:10 GMT
Status: RO

Can anyone remember the reference for the paper that showed that
for any language that is powerful enough to write its own translator,
it is not possible to solve the halting problem for programs written
in that language? All that I can remember is that it was written
in about 1972.
--
Daniel J. Salomon -- salomon@cs.UManitoba.CA
              Dept. of Computer Science / University of Manitoba
              Winnipeg, Manitoba, Canada R3T 2N2 / (204) 474-8687
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.