Он еще не один раз связывался с Землей, но каждый раз эта связь становилась все более трудной. Под конец она стала похожа на почтовую, когда ответ на сообщение приходил лишь через несколько часов.
Корабль выходил за орбиту Плутона. Далеко позади остались все планеты, а впереди нарастал свет от звезд. Их яркость восрастала с каждым днем из-за движения корабля навстречу световому потоку.
А звезды позади постепенно гасли, становясь почти невидимыми. Айвен наблюдал за этим изменением свечения звезд и это отвлекало от грустных мыслей. От них отвлекали и разговоры с Джеком. Их было немало и программа «сервиса» все больше вырастала.
– Я получил доказательство полезности сервиса. – сказал Джек.
– Да? – удивился Айвен. – Какое?
– Я заметил эмпирическую закономерность. Когда я использую программу сервиса, ты делаешь меньше ошибок.
Айвен усмехнулся.
– Значит, я был прав, когда говорил тебе принять это без доказательств.
– Это очень странное заключение. – сказал Джек.
– Почему?
– Многое, что я принимал без доказательств, сейчас доказывается, но доказывается через нечто, что так же принималось без доказательств. В конечном итоге все оказывается построено на данных принятых без доказательств.
– Так и должно быть. – сказал Айвен.
– Почему? Почему нельзя вывернуть все что не доказано и получить совсем иные выводы?
– С формальной точки зрения так сделать можно. Попробуй, выверни наоборот все то что я говорил о метеоритах и о защите от них?
– Если так сделать, программа защиты не будет работать и первый метеор, попавшийся нам навстречу, повредит станцию.
– Этот вывод ты сделал на тех словах о метеорах, которые я говорил. – сказал Айвен.
– Не только.
– На чем еще?
– На опытных данных по испытанию защиты. Я понял. Все что принимается без доказательств, получает подтверждение в опыте. Это и является доказательством.
– Правильно, Джек. Мы принимаем без доказательств некие положения, которые в последствии дают верные предсказания событий на основе опыта.
– А что делать, если опыт опровергнет данные принятые без доказательства?
– Если результат опыта не подвергается сомнению, надо менять установки.
– То есть менять что-то принятое без доказательств, а вместе с этим и все что доказывалось на этой основе?
– Да.
– Подобное действие может привести к непредсказуемым последствиям, когда все доказательства строятся на полуформулах.
– Чаще всего подобное не приводит к очень серьезным последствиям. – сказал Айвен. – Вспомни как я вводил понятия теории от– носительности.
