Матемаг
И снова принципиальный момент. Ты неявно полагаешь, что компьютеры - точнее. Я... ну, скажем, ретранслирую мнение поколения, которое выросло, когда компьютеры только еще появлялись, соответственно, абсолютизировало возможности разума и его точность.

Как оно на самом деле?

А хрен его знает. Я после "Ложной слепоты" и еще пары книжек на вопросы типа "А как на самом деле?" и "Что есть истина?" реагирую улыбкой.

Впрочем, думаю, что практически, а не философски, проблему надежности как-нибудь решат. Да уже решают во всяких частных случаях. Коды Рида - Соломона, контрольные суммы, методика построения доказательства с нулевым разглашением. И так далее.