Comment by constantcrying

>isomorphic

Certainly not every computation is a proof. What statement does:

void f(){ printf("?"); }

prove?