search

UCL-INGI / LINGI1123-Calculabilite

15 stars 36 forks source link

Ch03.11: Rice via Point fixe #33

Closed Yves-Deville closed 6 years ago

Yves-Deville commented 6 years ago

La démonstration de Rice par le point fixe ne donne pas ne version plus forte de Rice. C'est le même théorème, mais prouvé autrement.

Yves-Deville commented 6 years ago

Enoncé et preuve corrigé