Validare congetture aritmetiche
Una congettura è una proprietà derivante dall’intuito che si ritiene sia vera ma che non è stata ancora…
Glaubst du denn wirklich, der Mond existiere nur, wenn du auf ihn blickst? (A. Einstein)
Una congettura è una proprietà derivante dall’intuito che si ritiene sia vera ma che non è stata ancora…
Intuitivamente si dispone di un algoritmo per risolvere un problema se si ha un elenco finito di istruzioni…