Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs
On the existence of cycles of given length in integer sequences like if even, and
Fino ad ora non è stato possibile provare la validità della seguente nota congettura: dato un qualsiasi intero positivo , la sequenza relativa ad esso definita nel titolo contiene il valore 1. Un primo passo in direzione della dimostrazione della validità della congettura potrebbe consistere nello stabilire che non esiste nessun ciclo eccetto 1, 4, 2, 1, ... Nella prima parte gli autori forniscono una procedura effettiva per decidere se esistono cicli di lunghezza data relativamente alle sequenze...
Page 1