Are we allowed to use Rice's theorem for assignment #5?
http://tau-cm2015b.wikidot.com/forum/t-1220256/are-we-allowed-to-use-rice-s-theorem-for-assignment-5
Posts in the discussion thread "Are we allowed to use Rice's theorem for assignment #5?" - Are we allowed to use Rice's theorem for assignment #5?Tue, 21 Jan 2020 18:13:59 +0000http://tau-cm2015b.wikidot.com/forum/t-1220256#post-2306298Re: Are we allowed to use Rice's theorem for assignment #5?
http://tau-cm2015b.wikidot.com/forum/t-1220256/are-we-allowed-to-use-rice-s-theorem-for-assignment-5#post-2306298
Fri, 29 May 2015 20:33:28 +0000Dean Doron2072753
No, please use reductions to show undecidability. You can add an alterantive solution using Rice's theorem if you want to make sure it is a valid solution. Assignment #6 will probably contain a question for which Rice's theorem will be useful.
]]>
http://tau-cm2015b.wikidot.com/forum/t-1220256#post-2306253Are we allowed to use Rice's theorem for assignment #5?
http://tau-cm2015b.wikidot.com/forum/t-1220256/are-we-allowed-to-use-rice-s-theorem-for-assignment-5#post-2306253
Fri, 29 May 2015 18:24:54 +0000slob12094469
Are we allowed to use Rice's theorem for assignment #5?
]]>