Rice's Theorem (Undecidability): 5 Proofs and Examples

Here we show 5 different examples of applying Rice's theorem to languages show that each of these languages are undecidable.
If you like this content, please consider subscribing to my channel: / @easytheory
▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about it. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.
The views expressed in this video are not reflective of any of my current or former employers.

[@na50r24]

Maybe this is a dumb question but how does this make even sense?
Non-trivial: Come up with two random turning machines (M_1, M_2), where one is inside the language of the problem and the other is not.
Property of TM languages: Make some weird claim about two other random turning machines (X_1, X_2) that have seemingly zero relation to M_1 and M_2 defined prior.
By Rice's theorem, problem is undeciable.
I could still follow with the non-trivial part, since M_1 and M_2 two had some kind of connection to the actual problem but Property of TM languages is like making some random unrelated statement, so I don't understand how this is supposed to work.

[@francescoboraso6190]

Nobody is commenting on the thumbnail? Just brilliant, 5 rice bowls and a woman should grab everybody's attention 🤣

[@vlogesh29]

Absolutely

[@kattenelvis1778]

How we need a Rice-Curry Theorem and my life will be complete. Sadly, Rice and Curry never collaborated with eachother.

[@mohitbhalla5864]

lmfao

[@wizardwarrior26]

Yay! thanks man you saved my day and the exam

[@317sam]

How can we just say if L(M1) = L(M2) ? Shouldn't we prove it?

[@aseratawya6943]

Thanks, Boss

[@ZuhairKhouri2003]

can you just put the accept state there with no transitions to it?

[@s2260]

Professor, can you tell me how I can reduce epsilon accept problem to acceptance problem?

[@johnbrownell1]

It kills me that you put a hot girl pic to bait people to watch this but tbh it worked on me😆

[@s2260]

Consider a set of Turing transducers {T# | T maps epsilon to epsilon} is this decidable or undecidable?

[@cadenc2927]

What's going on with that thumbnail, Easy Theory? Care to explain?

[@danielstorms420]

bro clickbaiting us

[@DeepakYadav-ys7dg]

I've been cheated by the thumbnail

[@knownlearner568]

RICE: IN SOUTH INDIA WE EAT DAILY.🤪🇮🇳