Stuck Ships are Undecidable!

Here we show that determining whether a ship will ever be stuck is undecidable. If you like this content, please consider subscribing to my channel:    / @easytheory   ▶SEND ME THEORY QUESTIONS◀ ryan.e.dougherty@icloud.com ▶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.