Post Correspondence Problem (PCP) is Undecidable Proof

Publié le: 01 janvier 1970
sur la chaîne: Easy Theory

6,401

111

Here we prove that the Post Correspondence Problem is undecidable by embedding a Turing Machine running on an input w into the tiles.

Easy Theory Website: https://www.easytheory.org
Become a member:    / @easytheory
Donation (appears on streams): https://streamlabs.com/easytheory1/tip
Paypal: https://paypal.me/easytheory
Patreon:   / easytheory
Discord:   / discord

#easytheory

Youtube Live Streaming (Sundays) - subscribe for when these occur.

Social Media:
Facebook Page:   / easytheory
Facebook group:   / easytheory
Twitter:   / easytheory

Merch:
Language Hierarchy Apparel: https://teespring.com/language-hierar...
Pumping Lemma Apparel: https://teespring.com/pumping-lemma-f...

If you like this content, please consider subscribing to my channel:    / @easytheory

Gold Supporters: Micah Wood
Silver Supporters: Timmy Gy

▶SEND ME THEORY QUESTIONS◀
[email protected]

▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about CS theory. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.

Sur cette page du site, vous pouvez voir la vidéo en ligne Post Correspondence Problem (PCP) is Undecidable Proof durée heure minute seconde en bonne qualité , qui a été Téléchargé par l'utilisateur Easy Theory 01 janvier 1970, Partagez le lien avec vos amis et connaissances, sur youtube cette vidéo a déjà été regardée 6,401 fois et il a aimé 111 téléspectateurs. Bon visionnage!

2,495,245

18K