Rice's Theorem (Undecidability): 5 Proofs and Examples
24,723 views
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via Reddit r/compsci thread: What are your favorite Comp Sci YouTube channels? · 84% confidenceStates and proves Rice's theorem, then applies it to five properties of programs to show they are undecidable, including where it cannot be applied. Easy Theory is run by a university theory-of-computation lecturer who writes out every step.
What you'll learn
Rice's theorem: proof and five examples of undecidable properties of programs.
Video by Easy Theory, played through YouTube's embedded player.
Part of Undecidable Languages - Easy Theory, "Intro" Theory of Computation Lectures - Easy Theory
Go deeper
As an Amazon Associate, BrighterTube earns from qualifying purchases. Picked by hand for this subject; nobody paid to be listed.