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