Since the proof of rice theorem uses mapping reduction from Htm, could we conclude that every language which satisfies the conditions of rice theorem is also not in co-re?

Rice theorem

- Instructors
- Prof. Benny Chor
- Assistants
- Gal Rotem

Orit Moskovich

- Mid Term: December 12
^{th}, 2014 @ 9:00 - Exam: January 28
^{th}, 2015 - Moed B: March 13
^{th}, 2015

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License