[FOM] Computability question
Daniel Schwartz
schwartz at cs.fsu.edu
Fri Feb 10 21:25:51 EST 2017
Dear FOM list,
Would anyone know the answer to the following?
It is well known that the decidable languages are closed with respect to
union and intersection. What about the undecidable languages?
I'm guessing that these are not closed with respect to either union or
intersection, since I have been unable to find proofs, but I don't know of
any counterexamples.
Any light that anyone can shed on this would be appreciated.
Dan Schwartz
************************************************************************
Dr. Daniel G. Schwartz Office 850-644-5875
Dept. of Computer Science, MC 4530 CS Dept 850-644-4029
Florida State University Fax 850-644-0058
Tallahassee, FL 32306-4530 schwartz at cs.fsu.edu
U.S.A. http://www.cs.fsu.edu/~schwartz
************************************************************************
More information about the FOM
mailing list