OliForum Matematico

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

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