Quote:
Originariamente inviato da Nazzyyy
niente è impossibile  |
Dai uno sguardo alla teoria della computabilità. Viene dimostrata l'esistenza di funzioni NON CALCOLABILI.
La cardinalità (o numerosità) dei programmi che puoi scrivere è nell'ordine di N, ovvero esiste una biezione tra i numeri naturali e i programmi che tu puoi scrivere. E questi sono infiniti nell'ordine di N.
Se non ricordo male le funzioni da N->N e da N->{0,1} si dimostrano essere dell'ordine di R, un ordine di infinito maggiore per cui non esiste una biezione con i numeri naturali, e dunque con i programmi.
Ovviamente in alcuni casi limitando (di molto) il problema è possibile trovare una soluzione, ma che si applica solo in quel caso specifico.
Tu vuoi una soluzione generale ad un problema altrettanto generale, magari vorresti un algoritmo che termini (si spera) in un tempo umanamente accettabile.
Tuttavia ti ci vorrebbero diverse ere glaciali
.
Spero di non aver scritto castronerie.