На этот вопрос можно дать ответ, достоверный с определенной степенью точности. Который можно проверить или опровергнуть в рамках набора аксиом, навязанного законами физики.
А на вопрос "что лучше, верить в Бога или не верить", или "существует ли вычислитель, способный доказать halting theorem" — нельзя дать единственно верного ответа, т.к. он будет верен лишь в рамках того набора аксиом, который сам себе создал отвечающий.
no subject
А на вопрос "что лучше, верить в Бога или не верить", или "существует ли вычислитель, способный доказать halting theorem" — нельзя дать единственно верного ответа, т.к. он будет верен лишь в рамках того набора аксиом, который сам себе создал отвечающий.