Correction: ch03 Rice theorem

UCL-INGI / LINGI1123-Calculabilite

15 stars 36 forks source link

Closed Jimvy closed 6 years ago

Jimvy commented 6 years ago

Otherwise there are properties of the programs themselves that can be decided.