| changeset 292 | 293e9c6f22e1 |
| parent 291 | 93db7414931d |
| 291:93db7414931d | 292:293e9c6f22e1 |
|---|---|
1 (* Title: thys/Uncomputable.thy |
1 (* Title: thys/Uncomputable.thy |
2 Author: Jian Xu, Xingyuan Zhang, and Christian Urban |
2 Author: Jian Xu, Xingyuan Zhang, and Christian Urban |
3 Modifications: Sebastiaan Joosten |
|
3 *) |
4 *) |
4 |
5 |
5 chapter {* Undeciablity of the Halting Problem *} |
6 chapter {* Undeciablity of the Halting Problem *} |
6 |
7 |
7 theory Uncomputable |
8 theory Uncomputable |