Статья 539

Пробуя доказать какое-либо утверждение, человек может не успеть сделать это за ограниченное время. Если у человека появляется необходимость совершить какое-либо действие, то он может вывести негативный факт. Если я не смог лосих пор доказать этого, это должно быть ложным. Вполне возможно, что при меньших ограничениях на время человек сможет доказать это утверждение. В качестве ресурсов может выступать не только время, но и объем расходуемой памяти, число обращений к оракулу справочникам, энергетические затраты, все то, что как-то расходуется в процессе рассуждений.
Две тысячи лет назад для человека морская вода была просто раствором соли. Он был уверен, что в ней больше ничего нет. Это сейчас мы знаем, что в морской воде можно обнаружить все элементы таблицы Менделеева. Древний человек, кроме соли, ничего извлечь из нее не мог. Если бы мы попросили его верифицировать предложение мрская вода содержит золото, то он сказал бы нам, что оно ложно, либо сразу, либо после еще одной безуспешной попытки выпарить воду и извлечь золото.