Search for tag: "diagonal"

ECS 220 7b:7.3-2 Ackermann function

From  David Doty 0 likes 18 plays 0  

ECS 220 6a:7.2-2 countability and diagonalization

From  David Doty 0 likes 27 plays 0  

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

From  David Doty 0 likes 110 plays 0  

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

From  David Doty 0 likes 81 plays 0