Radicale
2009-05-20 14:47:15 UTC
Data una funzione, deve da qualche parte necessariamente
esistere un algoritmo corrispondente ?
Cioe' una procedura finita che dato n, in qualche modo caccia
fuori f(x) (dato x) in un tempo finito ?
Non necessariamente, perche' le funzioni sono molte di piu' degli
algoritmi. Non solo, a fronte di una stessa funzione possono esistere
diversi algoritmi che la realizzano (... diciamo)
per cui se chiamo A l' insieme di tutti gli algoritmi ed F quello di
tutte
le funzioni posso anche immaginare una funzione iniettiva fatta
cosi' :
g : A -> F tale che g(a) = f.
Sia g(A) l' immagine di questa funzione in F.
Mi chiedo se g appartiene a g(A).
esistere un algoritmo corrispondente ?
Cioe' una procedura finita che dato n, in qualche modo caccia
fuori f(x) (dato x) in un tempo finito ?
Non necessariamente, perche' le funzioni sono molte di piu' degli
algoritmi. Non solo, a fronte di una stessa funzione possono esistere
diversi algoritmi che la realizzano (... diciamo)
per cui se chiamo A l' insieme di tutti gli algoritmi ed F quello di
tutte
le funzioni posso anche immaginare una funzione iniettiva fatta
cosi' :
g : A -> F tale che g(a) = f.
Sia g(A) l' immagine di questa funzione in F.
Mi chiedo se g appartiene a g(A).