Isec TC proof
Jump to navigation
Jump to search
RAM's real,nega/positivity is RAM 1st bit that defaultly 0 i.e. addition or substraction is going with natural number and it increasable x>0=>x-y=lower limit-(lower limit+x)+y x<0=>x-y=lower memory limit-(lower memory limit-x+y) there all numbers as from -infinity-1=-infinity to +infinity x=y+1=y(1+1/y) z=x+1=x(1+1/x)=y(1+1/y)(1+1/y(1+1/y))