Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!uwm.edu!uwvax!daffy!khan.cs.wisc.edu!quale
From: quale@khan.cs.wisc.edu (Douglas E. Quale)
Newsgroups: comp.lang.misc
Subject: Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
Message-ID: <1991May5.134742.13717@daffy.cs.wisc.edu>
Date: 5 May 91 13:47:42 GMT
References: <30040@dime.cs.umass.edu> <truesdel.673301155@sun418> <30082@dime.cs.umass.edu>
Sender: news@daffy.cs.wisc.edu (The News)
Organization: University of Wisconsin -- Madison
Lines: 9

In article <30082@dime.cs.umass.edu> yodaiken@chelm.cs.umass.edu (victor yodaiken) writes:
>turing machines. This does not mean that there is no algorithm for
>solving the halting problem for all interesting cases. Turing's

Naturally ``interesting'' is a subjective term, but I find the busy beaver
problem interesting and it's unsolvable.

-- Doug Quale
quale@khan.cs.wisc.edu