Decrease Or Reductionism Theory Of Computation