Search for tag: "diagonalization"

ECS 220 7b:7.3-3 μ-recursive and partial recursive functions

From  David Doty 0 likes 18 plays 0  

ECS 220 6b:7.2-1 halting problem

From  David Doty 0 likes 24 plays 0  

ECS 220 6a:7.2-2 countability and diagonalization

From  David Doty 0 likes 26 plays 0  

ECS 220 4c:6.3-2 definition of artificial problem Catch22

From  David Doty 0 likes 11 plays 0  

ECS 120 10b:3 diagonalization to show the halting problem is undecidable

From  David Doty 0 likes 67 plays 0  

ECS 120 10b:1 diagonalization to show a set is smaller than its power set

From  David Doty 0 likes 78 plays 0  

ECS 120 9c:1 comparing sizes of sets

From  David Doty 0 likes 94 plays 0