09:01 duration 9 minutes 1 second
ECS 220 7b:7.3-3 μ-recursive and partial…
ECS 220 7b:7.3-3 μ-recursive and partial recursive functions
06:00 duration 6 minutes 0 seconds
ECS 220 6b:7.2-1 halting problem
13:20 duration 13 minutes 20 seconds
ECS 220 6a:7.2-2 countability and diagonalization
08:16 duration 8 minutes 16 seconds
ECS 220 4c:6.3-2 definition of artificial problem…
ECS 220 4c:6.3-2 definition of artificial problem Catch22
09:09 duration 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:40 duration 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
06:24 duration 6 minutes 24 seconds
ECS 120 9c:1 comparing sizes of sets