!!Con 2018: If you could solve this word tile puzzle, you could... by Kamal Marhubi

Channel:
United States Confreaks
Subscribers:
42,400
Published on ● Video Link: https://www.youtube.com/watch?v=wzZsv6KAMsw


Tiles
Game:
Tiles (2017)
Duration: 12:56
286 views
9

If you could solve this word tile puzzle, you could solve the halting problem! (Too bad you can’t!) by Kamal Marhubi

The idea that there are undecidable problems – ones that simply cannot be solved with computers – is kind of mind-blowing. The most well-known is the halting problem: given a Turing machine (program), will it halt (terminate)? Many other undecidable problems are either very similar to the halting problem, or very abstract. In this talk I’ll show one that is neither! The Post Correspondence Problem is a word tile puzzle that is actually undecidable. I’ll walk through how to prove this, by building a special puzzle that has a solution if and only if a Turing machine would halt. At the end, I hope you’ll share some of my wonder at the theoretical side of computers!



Other Videos By Confreaks


2018-05-30!!Con 2018: The Man Comes Around: and so does his sound! by Vince Allen
2018-05-30!!Con 2018: If at first you don’t succeed at beating HQ Trivia, try cheating! by Hung Truong
2018-05-30!!Con 2018: Using Postgres to \watch Star Wars! by Will Leinweber
2018-05-30!!Con 2018: Four fake filesystems! by Omar Rizwan
2018-05-30!!Con 2018: Talking to my past self (without introducing temporal paradoxes!) by Andrew Louis
2018-05-30!!Con 2018: Estimating the Value of Pi with a Dartboard and (Not so Much) Luck! by Stephen Tu
2018-05-30!!Con 2018: Undo all the things! by Tom Ballinger
2018-05-30!!Con 2018: Relativistic Software Calendars: It’s About Time! by John Feminella
2018-05-30!!Con 2018: Keynote: Build skills through hobbies! Bring them to work! by Liz Fong Jones
2018-05-30!!Con 2018: So THAT’S how my phone knows where I am! by Mike Lazer Walker
2018-05-30!!Con 2018: If you could solve this word tile puzzle, you could... by Kamal Marhubi
2018-05-30!!Con 2018: UX for Cats and Dogs! by Joel Potischman
2018-05-30!!Con 2018: The joys of PICO-8 token crunching!! Or: what I learned... by Ayla Myers
2018-05-30!!Con 2018: Satellites are talking to us! Let’s hear them out! by Ed Medvedev
2018-05-30!!Con 2018: Evil Twins and the Secret Lives of Linkers! by Josh Bowman Matthews
2018-05-30!!Con 2018: Creating an Arabic Programming Language! by Ahmed Abdalla
2018-05-30!!Con 2018: Transform live video streams with code and a REPL!! by Mark Wunsch
2018-05-30!!Con 2018: It’s super effective! Solving Pokemon Blue with a... by Alex Clemmer
2018-05-30!!Con 2018: Compressing the Library of Babel! by David Turner
2018-05-30Moving Towards Dialogue: Collaborating with your computer using typed holes! by Vaibhav Sagar
2018-05-30!!Con 2018: We built a map to aggregate real-time flood data ... by Aruna Sankaranarayanan


Other Statistics

Tiles Statistics For Confreaks

There are 286 views in 1 video for Tiles. His channel published less than an hour of Tiles content, making up less than 0.01% of the total overall content on Confreaks's YouTube channel.