We will show that Rice's theorem and the halting problem are equivalent to each other\.

I think the halting problem probably should have its own page, rather than being linked to the umbrella uncomputability page.

by Patrick Stevens Jul 30 2016

We will show that Rice's theorem and the halting problem are equivalent to each other\.

I think the halting problem probably should have its own page, rather than being linked to the umbrella uncomputability page.