Validare congetture aritmetiche

Una congettura è una proprietà derivante dall’intuito che si ritiene sia vera ma che non è stata ancora dimostrata né confutata. In particolare una congettura matematica è un enunciato formulato da uno o più matematici che si ritiene vero, per il quale però non è stata ancora trovata una dimostrazione.

Verificare una congettura vuol dire effettuare tante prove che permettano di stabilire se la congettura è sempre vera, sempre falsa o talvolta vera. Al termine delle prove non si può comunque essere certi che la congettura sia sempre vera.  Leggi tutto “Validare congetture aritmetiche”

Condividi

Che cos’è un algoritmo?

Intuitivamente si dispone di un algoritmo per risolvere un problema se si ha un elenco finito di istruzioni tali che:

1) a partire dai dati iniziali le istruzioni sono applicabili in maniera rigorosamente deterministica, cioè in modo che ad ogni passo sia sempre possibile stabilire univocamente quale è l’istruzione che deve essere applicata al passo successivo;

2) si disponga di un criterio univoco per stabilire quando si è raggiunto uno stato finale, quando cioè il processo deve considerarsi terminato e il risultato, se esiste, è stato ottenuto. Uno stato finale deve sempre essere raggiungibile in un numero finito di passi.  Leggi tutto “Che cos’è un algoritmo?”

Condividi