ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

10,661 results

Related queries

reducibility

rice theorem

universal turing machine

lydia
The Halting Problem: The Unsolvable Problem

One of the most influential problems and proofs in computer science, first introduced and proved impossible to solve by Alan ...

4:14
The Halting Problem: The Unsolvable Problem

217,424 views

5 years ago

Computerphile
Turing & The Halting Problem - Computerphile

Alan Turing almost accidentally created the blueprint for the modern day digital computer. Here Mark Jago takes us through The ...

6:14
Turing & The Halting Problem - Computerphile

898,003 views

11 years ago

udiprod
Proof That Computers Can't Do Everything (The Halting Problem)

If you disagree or get confused by this video, read this FAQ: https://www.udiprod.com/halting-problem/#faq Visit my home page: ...

7:52
Proof That Computers Can't Do Everything (The Halting Problem)

2,705,060 views

12 years ago

Mind-blowing Math
Halting problem explanation and complete proof in 1 minute #VeritasiumContest

Can you explain and proof halting problem undecidability in 1 minute? - Yes! I tried to explain it fast, but in a simple easy terms, ...

0:59
Halting problem explanation and complete proof in 1 minute #VeritasiumContest

10,971 views

4 years ago

PumpUpYourBrain
The Halting Problem Could It Hold the Key to the Collatz Conjecture #HaltingProblem #MathIsHard
0:45
The Halting Problem Could It Hold the Key to the Collatz Conjecture #HaltingProblem #MathIsHard

441 views

7 months ago

What is This
What is the Halting Problem? | Computer Science Simplified

Ever wondered what the Halting Problem is and why it's so important in computer science? In this video, we break it down for you: ...

0:24
What is the Halting Problem? | Computer Science Simplified

4,108 views

1 year ago

Michigan TypeScript
Rice's Theorem and the Halting Problem

Click the related video on this short to see the full video (as well as links to join the Discord). YouTube no longer allows links of ...

0:49
Rice's Theorem and the Halting Problem

3,889 views

2 years ago

Fireship
r u even turing complete?

What does it mean to be Turing Complete? Is HTML & CSS Turing Complete? #shorts #compsci #programming #math.

0:39
r u even turing complete?

1,263,340 views

4 years ago

Spanning Tree
Understanding the Halting Problem

The halting problem is an important problem in computer science that asks whether we can construct an algorithm to determine ...

6:33
Understanding the Halting Problem

108,917 views

2 years ago

Tom Scott
Are There Problems That Computers Can't Solve?

All about Hilbert's Decision Problem, Turing's solution, and a machine that vanishes in a puff of logic. MORE BASICS: ...

7:58
Are There Problems That Computers Can't Solve?

3,184,270 views

5 years ago

Neso Academy
The Halting Problem

TOC: The Halting Problem Topics discussed: 1. Halting problem. Full Course on TOC: ...

7:26
The Halting Problem

519,826 views

7 years ago

People also watched

Bruno Belli
Roger Penrose explains Godel's incompleteness theorem in 3 minutes

good explanation from his interview with joe rogan https://www.youtube.com/watch?v=GEw0ePZUMHA.

3:39
Roger Penrose explains Godel's incompleteness theorem in 3 minutes

1,354,122 views

5 years ago

Mutual Information
The Boundary of Computation

The machine learning consultancy: https://truetheta.io Join my email list to get educational and useful articles (and nothing else!)

12:59
The Boundary of Computation

1,251,659 views

2 years ago

Antonio Eligius
The Halting Problem Debunked

A short video debunking the Alan Turing "Halting Problem" and it's variations. Relevant link mentioned in the video: ...

3:35
The Halting Problem Debunked

730 views

3 years ago

UC Davis
L15: Proof by Diagonalization that ATM (Halting Problem) is Not Decidable

Proof, by diagonalization, that ATM, the Halting Problem, is not decidable.

24:48
L15: Proof by Diagonalization that ATM (Halting Problem) is Not Decidable

25,655 views

13 years ago

Ankith Udupa
Turing Reduction Review (Umich - EECS 376)

Good luck on the midterm!

13:25
Turing Reduction Review (Umich - EECS 376)

2,574 views

3 years ago

MIT OpenCourseWare
1.11.7 The Halting Problem: Video [Optional]

MIT 6.042J Mathematics for Computer Science, Spring 2015 View the complete course: http://ocw.mit.edu/6-042JS15 Instructor: ...

16:02
1.11.7 The Halting Problem: Video [Optional]

7,917 views

9 years ago

UC Davis
L17: Using Reductions to Prove Language Undecidable

Proving additional languages are not decidable, by using reductions.

53:51
L17: Using Reductions to Prove Language Undecidable

32,899 views

13 years ago

Computerphile
Undecidability Tangent (History of Undecidability Part 1) - Computerphile

What was the first undecidable problem? Professor Brailsford takes us on a computerphile tangent & gives us his angle on a ...

14:15
Undecidability Tangent (History of Undecidability Part 1) - Computerphile

166,656 views

11 years ago

Chao Xu
The Halting Problem

Theory of Computation 13. The Halting Problem aduni.

1:07:16
The Halting Problem

10,879 views

13 years ago

Up and Atom
Amateurs Just Solved a 30-Year-Old Math Problem

Get Nebula using my link for 40% off an annual subscription: https://go.nebula.tv/upandatom Watch Becoming Human: ...

20:19
Amateurs Just Solved a 30-Year-Old Math Problem

326,944 views

10 months ago

Pip GDM
Turing's Halting Problem, and my Halting Problem
1:09
Turing's Halting Problem, and my Halting Problem

975 views

3 months ago

Me&myworld
Halting problem of Turing machine |TOC| #easy #education #rgpv #engineering #clearexplaination
0:16
Halting problem of Turing machine |TOC| #easy #education #rgpv #engineering #clearexplaination

10,099 views

1 year ago

Quanta Magazine
What is a Turing Machine? #computerscience #science

In 1936, a 23-year-old British mathematician named Alan Turing revolutionized the future of computer science. While exploring ...

3:00
What is a Turing Machine? #computerscience #science

62,543 views

3 months ago

multiverses
what quantum computers can't do #computerscience #science

Classical and quantum computers—no matter how powerful—operate below the Turing limit. That means they can't solve ...

0:49
what quantum computers can't do #computerscience #science

851 views

10 months ago

flowindata
What is the Halting Problem? Explained in Simple Terms

The Halting Problem is a famous concept in theoretical computer science that proves some problems are unsolvable—even by a ...

1:04
What is the Halting Problem? Explained in Simple Terms

459 views

6 months ago

Up and Atom
The Halting Problem - An Impossible Problem to Solve

Start learning today with SkillShare: https://skl.sh/upandatom2 Alan Turing proved that the Halting Problem was impossible for ...

7:37
The Halting Problem - An Impossible Problem to Solve

264,335 views

7 years ago

Veritasium
Math's Fundamental Flaw

Not everything that is true can be proven. This discovery transformed infinity, changed the course of a world war and led to the ...

34:00
Math's Fundamental Flaw

29,968,936 views

4 years ago

Theory Ocean
The Halting Problem Explained - Alan Turing

computerscience #theoreticalcs #theoreticalcomputerscience #haltingproblem #alanturing #proofbycontradiction #cslectures ...

2:10
The Halting Problem Explained - Alan Turing

568 views

1 year ago