Reasoning with Computer Code New Mathematical Logic