|
|
|
|
|
|
by GolDDranks
978 days ago
|
|
|
Oops, never mind, there exists a simple construction that you can perform to each TM(754) that clearly extends BB(754) a finite amount. Maybe you are corrent that such Turing machine exists. But seems that identifying it isn't possible in ZCF. |
|
|