EXT non è RE

2»

Comments

  • No, per due motivi.

    Primo, la riduzione non dev'essere da K a EXT, ma dev'essere dal complementare di K a EXT.

    Secondo, non puoi verificare se x non appartiene a K (altrimenti decideresti K). Puoi solo ciclare all'infinito cercando di farlo. Quindi non puoi semplicemente dire "restituisco f'". Devi fare qualcosa che generi in qualche modo f' o qualcosa di abbastanza similie "strada facendo".
  • MindFlyer wrote: »
    No, per due motivi.

    Primo, la riduzione non dev'essere da K a EXT, ma dev'essere dal complementare di K a EXT.

    Secondo, non puoi verificare se x non appartiene a K (altrimenti decideresti K). Puoi solo ciclare all'infinito cercando di farlo. Quindi non puoi semplicemente dire "restituisco f'". Devi fare qualcosa che generi in qualche modo f' o qualcosa di abbastanza similie "strada facendo".

    Hai ragione, l'ora non mi aiuta. Ci penserò grazie mille comunque!!
Sign In or Register to comment.