3 ms·You think that a lot of arithmetic bugs are due to the math being undecidable?by thfuran 3y agoYou think that a lot of arithmetic bugs are due to the math being undecidable?