Эта параллель между кибернетическим объяснением и тактикой логического или математического доказательства более чем просто интересна. Мы ищем объяснений и вне кибернетики, но мы определенно не искали способа моделирования логического доказательства. Эта имитационная модель доказательства - нечто новое. Мы можем, однако, сказать задним числом, что объяснения посредством моделирования логического или математического доказательства следовало ожидать. В конце концов, предметом кибернетики являются не события или объекты, а информация, "переносимая" событиями или объектами. Мы рассматриваем объекты и события только как представления фактов, утверждений, сообщений, перцептов и тому подобное. А раз предмет касается представлений, то следует ожидать, что объяснение будет имитировать логическое объяснение.Кибернетики сделали своей специальностью те объяснения, которые имитируют reductio ad absurdum и "отображение". Существуют, возможно, целые области объяснений, ожидающие своего открытия теми математиками, которые сумеют различить в информационных аспектах природы последовательности, моделирующие другие типы доказательств.