Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
10,717 results
reducibility
rice theorem
universal turing machine
One of the most influential problems and proofs in computer science, first introduced and proved impossible to solve by Alan ...
217,669 views
5 years ago
Alan Turing almost accidentally created the blueprint for the modern day digital computer. Here Mark Jago takes us through The ...
898,105 views
11 years ago
If you disagree or get confused by this video, read this FAQ: https://www.udiprod.com/halting-problem/#faq Visit my home page: ...
2,705,241 views
12 years ago
The halting problem is an important problem in computer science that asks whether we can construct an algorithm to determine ...
109,032 views
2 years ago
All about Hilbert's Decision Problem, Turing's solution, and a machine that vanishes in a puff of logic. MORE BASICS: ...
3,184,599 views
TOC: The Halting Problem Topics discussed: 1. Halting problem. Full Course on TOC: ...
520,053 views
7 years ago
Start learning today with SkillShare: https://skl.sh/upandatom2 Alan Turing proved that the Halting Problem was impossible for ...
264,362 views
Not everything that is true can be proven. This discovery transformed infinity, changed the course of a world war and led to the ...
29,974,237 views
4 years ago
computerscience #theoreticalcs #theoreticalcomputerscience #haltingproblem #alanturing #proofbycontradiction #cslectures ...
570 views
1 year ago
Visualization and "audibilization" of 15 Sorting Algorithms in 6 Minutes. Sorts random shuffles of integers, with both speed and the ...
27,543,426 views
Introduction to language ATM, the halting problem; Universal Turing machines show that ATM is recognizable. UTMs define what ...
24,411 views
13 years ago
Proof, by diagonalization, that ATM, the Halting Problem, is not decidable.
25,661 views
... the problem was the pious humans that halt actually exists it does not because all does not actually exist assuming that it exists ...
10,290 views
9 years ago
MIT 6.042J Mathematics for Computer Science, Spring 2015 View the complete course: http://ocw.mit.edu/6-042JS15 Instructor: ...
7,917 views
This video explains the halting problem in simple terms, and the proof of undecidability is contested by an alien robot. Who do you ...
1,465 views
MIT 6.006 Introduction to Algorithms, Fall 2011 View the complete course: http://ocw.mit.edu/6-006F11 Instructor: Erik Demaine ...
535,449 views
370,824 views
Sign up to Brilliant to receive a 20% discount with this link! https://brilliant.org/upandatom/ Hi! I'm Jade. If you'd like to consider ...
1,285,302 views
3 years ago
What was the first undecidable problem? Professor Brailsford takes us on a computerphile tangent & gives us his angle on a ...
166,675 views
Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=Osh0-J3T2nY Please support this podcast by checking out ...
17,275 views
Here we concern ourselves with the Halting Problem (called HALT_TM) which asks whether a given Turing Machine halts ...
17,921 views
Get Nebula using my link for 40% off an annual subscription! https://go.nebula.tv/upandatom Recommended shows: Is Math ...
390,157 views
No need to understand Turing machines to comprehend the halting problem. Professor Thorsten Altenkirch has a way of using ...
167,017 views
6 years ago
... can reduce the Halting Problem to the Truth Problem. https://youtu.be/VyHbd6sx5Po - My previous video on the Halting Problem ...
74,748 views
A team of amateurs recently came together in an online collaboration called the Busy Beaver Challenge to pin down the value of ...
983,459 views
8 months ago
Some programming problems are so hard that they're impossible. We look at the first problem to have been proved undecidable, ...
165,510 views
TOC: Undecidability of the Halting Problem Topics discussed: This lecture shows how can we prove the Undecidability of the ...
316,842 views
"Theory of Computation"; Portland State University: Prof. Harry Porter; www.cs.pdx/~harry.
48,010 views
10 years ago
In this video, we explore the Halting Problem, a fundamental concept in theoretical computer science. We start by understanding ...
762 views
10 months ago
![1.11.7 The Halting Problem: Video [Optional]](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FWQHOImO0pX0%2Fsddefault.jpg)
