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,842 results
One of the most influential problems and proofs in computer science, first introduced and proved impossible to solve by Alan ...
220,578 views
5 years ago
Alan Turing almost accidentally created the blueprint for the modern day digital computer. Here Mark Jago takes us through The ...
899,337 views
11 years ago
The halting problem is an important problem in computer science that asks whether we can construct an algorithm to determine ...
110,247 views
2 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,707,699 views
12 years ago
All about Hilbert's Decision Problem, Turing's solution, and a machine that vanishes in a puff of logic. MORE BASICS: ...
3,190,814 views
Start learning today with SkillShare: https://skl.sh/upandatom2 Alan Turing proved that the Halting Problem was impossible for ...
264,688 views
7 years ago
computerscience #theoreticalcs #theoreticalcomputerscience #haltingproblem #alanturing #proofbycontradiction #cslectures ...
620 views
1 year ago
TOC: The Halting Problem Topics discussed: 1. Halting problem. Full Course on TOC: ...
522,778 views
Proof, by diagonalization, that ATM, the Halting Problem, is not decidable.
25,709 views
13 years ago
Theory of Computation 13. The Halting Problem aduni.
10,892 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,298 views
9 years ago
"Theory of Computation"; Portland State University: Prof. Harry Porter; www.cs.pdx/~harry.
31,548 views
50,311 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,477 views
20,001 views
Proving additional languages are not decidable, by using reductions.
32,907 views
A 7-year-old can understand this problem which completely baffles mathematicians. Collatz calculator: ...
5,371,318 views
Theory of Automata, Formal Languages and Computation by Prof.Kamala Krithivasan,Department of Computer Science and ...
35,346 views
14 years ago
Not everything that is true can be proven. This discovery transformed infinity, changed the course of a world war and led to the ...
30,032,783 views
4 years ago
Here we concern ourselves with the Halting Problem (called HALT_TM) which asks whether a given Turing Machine halts ...
18,058 views
Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=14OPT6CcsH4 Thank you for listening ❤ Check out our ...
5,588 views
3 weeks ago
Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=Osh0-J3T2nY Please support this podcast by checking out ...
17,330 views
... can reduce the Halting Problem to the Truth Problem. https://youtu.be/VyHbd6sx5Po - My previous video on the Halting Problem ...
75,700 views
Get Nebula using my link for 40% off an annual subscription! https://go.nebula.tv/upandatom Recommended shows: Is Math ...
390,500 views
A team of amateurs recently came together in an online collaboration called the Busy Beaver Challenge to pin down the value of ...
986,548 views
9 months ago
Some programming problems are so hard that they're impossible. We look at the first problem to have been proved undecidable, ...
165,681 views
No need to understand Turing machines to comprehend the halting problem. Professor Thorsten Altenkirch has a way of using ...
167,060 views
6 years ago
48,056 views
TOC: Undecidability of the Halting Problem Topics discussed: This lecture shows how can we prove the Undecidability of the ...
318,255 views
