Если отказаться от требования абсолютной точности машинной арифметики то можно уменьшить размер ALU/FPU на кристалле в 100 раз по сравнению с точной альтернативой: http://www.gwern.net/docs/2010-bates.pdf http://www.bdti.com/InsideDSP/2013/10/23/SingularComputing Забавно что в том время как некоторые программисты и PLT-учёные в поте лица трудятся над изобретением и изучением новых строготипизированных языков программирования (которые, конечно, в доказательствах корректности своей работы постулируют абсолютную точность выполнения компьютером инструкций) у выскопроизводительных систем совсем другие насущные проблемы. Рост количества ядер до миллиона привёл к снижению MTBF до нескольких десятков часов и энергопотреблению в несколько мегаватт. У современных суперкомпьютеров проблема MTBF худо-бедно решается чекпоинтами и рестартами, но всем понятно что эксафлопсные системы потребуют нового подхода к вычислениям, так как закон Мура остановился и просто продолжать делать ядра меньше за счёт литографии уже нельзя. Вполне возможно что этим подходом будет упрощение процессоров и неточная арифметика. Эти нововведения рано или поздно перейдут и в обычные компьютеры, и тогда у программистов уже не получится наивно игнорировать статистику и физику на которой работают их машины. В середине 20 века у людей получилось заменить сложные аналоговые компьютеры цифровыми, отвлечься от теории цепей на несколько десятков лет аутируя в виртуальном мире абсолютно стабильных битов и байтов, но похоже возврат к физике неизбежен.