Salut tout le monde
Voilà on suppose qu'il existe une fonction termine qui renvoie vrai pour une fonction qui se termine et faux pour une fonction qui ne se termine pas (appel récursif en boucle).
Le paramètre de termine est donc une fonction.
Je dois trouver une fonction récursive qui aboutit à une contradiction.
C'est un truc du type "cette phrase est fausse", mais je n'arrive pas à mettre en forme
Quelqu'un a-t-il une idée?
Ta fonction récursive est une fonction au sens des langages informatiques si je comprend bien ?
Si c'est cela, c'est facile. Tu crée une fonction f qui pour un paramètre x retourne f(x), ça va tourner en boucle.
A tout hasard :
Code:bidule() si termine(bidule) = vrai retourne bidule() (appel récursif => contradiction) sinon sortir (=> contradiction, la fonction se termine) fin si fin bidule
Ah oui ça a l'air mieux, moi j'avais compris qu'il fallait écrire une fonction telle que termine(fonction) = faux
matthias=> oui en effet
g_h=> bien joué on a bien une contradiction avec ta fonction
