Turing Incompleteness, The Halting Problem, and Waduzitdo!

Channel:

Truttle1

Subscribers:

19,300

Published on June 23, 2024 4:10:31 PM ● Video Link: https://www.youtube.com/watch?v=NHxWPqfPPDY

Duration: 13:22

11,061 views

792

Waduzitdo is a programming language that isn't Turing complete. This is because the only way it can loop is if a single boolean input by the user is true, and it can only jump back to the most recent input even if it does loop. This means it can't do very much. But, if we use a Turing complete language like Python, we can determine if a Waduzitdo program halts or not, which you cannot do for any Turing complete languages.

LINKS:
Waduzitdo Esolangs.org: https://esolangs.org/w/index.php?title=Waduzitdo
Python Interpreter: https://github.com/JP20221069/Waduzitdo-Py
Python Interpreter Fork: https://github.com/Truttle1/Waduzitdo-Py
My Programs: https://github.com/Truttle1/Waduzitdo-Programs
HTML meme: https://www.reddit.com/r/ProgrammerHumor/comments/juqtzd/html_isnt_a_programming_language_it_is_a_language/
Troopa Image: https://www.reddit.com/r/papermario/comments/1d3nh2u/ttyd_remake_looks_like_jr_troopas_still_active/

MUSIC:
SimCity 3000 - Uptown Down
Wonder Boy: The Dragon's Trap - Monster's Lair
Paper Mario - Jr Troopa Theme
Kevin MacLeod - Meatball Parade
Paper Mario: The Origami King - Swan Lake Remix
Paper Mario: The Thousand Year Door - Rogueport Sewers
Phoenix Wright: Ace Attourney - Cornered
Super Mario RPG - Seaside Town