Undecidable Proof Example Flashcards
1
Q
Proof by reduction:
A
2
Q
Initial assumption
A
3
Q
Step after initial assumption
A
4
Q
The decider will function as follows:
A
5
Q
Case 1:
A
6
Q
Case 2:
A
7
Q
Conclusion
A
