Re[4]: Почему доказательное программирование менее важно чем
От: graniar  
Дата: 15.07.23 15:16
Оценка:
Здравствуйте, Shmj, Вы писали:

S>Все попытки выстроить гипотезу — легко опровергаются. Как то кто-то скажет что загорелась красная лампочка и системе больно и подобные вещи — все легко опровергается.


Не опровергаются, а отвергаются, потому-что тебе не нравятся.

Вот я например утверждаю, что когда ты нажимаешь кнопку на том ящике, это приносит ему невыносимые страдания, и он делает все возможное для того, чтобы прекратить это страдание.

S>К чему же сводится смысл жизни — как ни к построению системы с всеобщим наслаждением и отсутствием страданий?


Для начала, неплохо бы найти определение слову страдание.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.