– Почему? Почему нельзя вывернуть все что не доказано и получить совсем иные выводы?

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

– Если так сделать, программа защиты не будет работать и первый метеор, попавшийся нам навстречу, повредит станцию.

– Этот вывод ты сделал на тех словах о метеорах, которые я говорил. – сказал Айвен.

– Не только.

– На чем еще?

– На опытных данных по испытанию защиты. Я понял. Все что принимается без доказательств, получает подтверждение в опыте. Это и является доказательством.

– Правильно, Джек. Мы принимаем без доказательств некие положения, которые в последствии дают верные предсказания событий на основе опыта.

– А что делать, если опыт опровергнет данные принятые без доказательства?

– Если результат опыта не подвергается сомнению, надо менять установки.

– То есть менять что-то принятое без доказательств, а вместе с этим и все что доказывалось на этой основе?

– Да.

– Подобное действие может привести к непредсказуемым последствиям, когда все доказательства строятся на полуформулах.

– Чаще всего подобное не приводит к очень серьезным последствиям. – сказал Айвен. – Вспомни как я вводил понятия теории от– носительности.

– Ты имеешь в виду, что надо не отрицать какие либо установки, а только ограничивать их действия?

– Да, Джек. Ты хорошо все понимаешь.

Айвен не сомневался в нем. Он прекрасно знал все программы Джека и знал что делать в непредвиденных ситуациях. В системе Джека существовало две основные части. Первой была жесткая программа, которая была вложена в него подобно инстинктам живого существа, а второй была программа «сервиса». В ней были возможны любые действия. Жесткие программы контролировали их и не давали выйти за рамки «дозволенного». Джек давно узнал свою собственную структуру. Он мог ремонтировать себя, мог легко поменять любой блок. На станции был небольшой минизавод, на котором производились все необходимые электронные компоненты, а с металлом проблем не было вовсе. Он мог служить десятилетиями.