Tex Talks
Videos from Tex Talks
Page 1 of 1 • 13 total videos
9:01
Universal Turing machines are a thing that exists (Part 2 Chapter 1)
Tex Talks
172 views
18:37
The Church-Turing Thesis (Computability Theory 20)
Tex Talks
159 views
28:05
Building A Universal Turing Machine - Part 3 (Computability Theory 19)
Tex Talks
100 views
44:12
Building A Universal Turing Machine - Part 2 (Computability Theory 19)
Tex Talks
143 views
31:41
Building A Universal Turing Machine - Part 1 (Computability Theory 17)
Tex Talks
433 views
24:29
Palindrome's Revenge (Computability Theory 16)
Tex Talks
77 views
45:22
Proving Equivalence Between Different Alphabets (Computability Theory 13)
Tex Talks
98 views
29:32
Codings of Languages (Computability Theory 12)
Tex Talks
56 views
13:05
Warmup: Proving that Staying Still is Unnecessary (Computability Theory 11)
Tex Talks
46 views
28:32
Subroutines and Composition (Computability Theory 10)
Tex Talks
54 views
36:03
Example: Building a Turing Machine for the Palindrome Problem (Computability Lecture 4)
Tex Talks
209 views
1:24:13
Turing Machines and Decision Problems (Computability Lecture 3)
Tex Talks
751 views
27:35
Preliminary Philosophy (Computability Theory Lecture 1)
Tex Talks
1.6K views