• [^] # Re: exponentiel => indecidable

    Posté par (site web personnel) . En réponse au journal couverture de code. Évalué à 2.

    Tiens, c'est bizarre, pour ta réponse 1, j'ai plutôt: 
    $ clisp
> (defun exp (n)
 (if (= n 0)
	1
 (* 2 (exp (1- n)))))
> (exp 3)
8
> (exp 64)
18446744073709551616
> (exp 100)
1267650600228229401496703205376
> (exp 1000)
10715086071862673209484250490600018105614048117055
33607443750388370351051124936122493198378815695858
12759467291755314682518714528569231404359845775746
98574803934567774824230985421074605062371141877954
18215304647498358194126739876755916554394607706291
45711964776865421676604298316526243868372056680693
76
    'fin bon, ça ne fait pas avancer le schmilblik :)