Espressione matematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Ripristino alla versione 52489955 datata 2012-09-12 14:49:20 di Sandrobt tramite popup |
→La regola fondamentale di un'espressione: direi che detta cosi' ha poco senso.. |
||
Riga 10:
Uno dei risultati più interessanti del calcolo lambda è che l'equivalenza di due espressioni è in alcuni casi [[indecidibile]]. Ciò è vero anche per espressioni in qualunque sistema che ha potenza equivalente al calcolo lambda.
==Voci correlate==
|