Bohm-Jacopini

[ummagumma]

Posto (forse impropriamente) qui. Qualcuno può darmi dei riferimenti per la dimostrazione del teorema di Bohm-Iacobini? Non che mi diletti in teoria dell'informazione, ma trovo suggestivo che ogni programma possa essere efficae combinando 3 costrutti.
grazie

[edriv]

Ne aveva accennato anche il nostro prof di matematica... ovviamente in modo completamente oscurantista, dopo averci dato una definizione di algoritmo altrettanto misteriosa con una decina di condizioni da imparare a memoria. Se non altro era un' esibizione di lingua italiana... vabeh, tralasciando questo, lo scopo di questo post era un link che dicesse cosa dice sto teorema (più o meno).

http://en.wikipedia.org/wiki/Structured_program_theorem