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
Bohm-Jacopini
Bohm-Jacopini
Ultima modifica di ummagumma il 25 ott 2007, 21:55, modificato 1 volta in totale.
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
http://en.wikipedia.org/wiki/Structured_program_theorem