10:18duration 10 minutes 18 seconds
ECS 220 7b:7.3-2 Ackermann function
13:20duration 13 minutes 20 seconds
ECS 220 6a:7.2-2 countability and diagonalization
09:09duration 9 minutes 9 seconds
ECS 120 10b:3 diagonalization to show the halting…
ECS 120 10b:3 diagonalization to show the halting problem is undecidable
11:40duration 11 minutes 40 seconds
ECS 120 10b:1 diagonalization to show a set is…
ECS 120 10b:1 diagonalization to show a set is smaller than its power set