«Как машинам зажить собственной жизнью? Я могу сформулировать проблему четко, как это сделал Тьюринг для своих механизмов», — сообщил мне Янчи в письме за пару месяцев до смерти. Он заявил, что уже записал схему, которая доказывает, существование «одного автомата, назовем его „алеф-ноль“, со следующими свойствами: если задать алеф-нолю любое описание, он поглотит его и выдаст две копии описания». Используя те же логические методы и самореферентные рекурсивные обоснования, которые Тьюринг применял для своих мыслительных экспериментов, что в конечном итоге привело к возникновению компьютеров, и которые Гёдель использовал для доказательства своих теорем о неполноте, Янчи сформулировал теоретическую базу для проектирования машины, которая производила бы не просто цепочки нулей и единиц, а реальные физические объекты. Еще он верил в предел, точку невозврата, за которой его автоматы начнут эволюционировать, а потом — усложняться экспоненциально, подобно биологическим организмам, которые процветают и мутируют в результате естественного отбора и создают окружающую нас сложную красоту. Благодаря такому развитию будущие поколения смогут не просто создавать зеркальные копии самих себя, но и оставлять с каждым разом всё более сложное потомство. Он писал: «На низших уровнях развития сложность, вероятно, вырождается, так что любой автомат сможет создавать только более простые версии себя, но есть некий уровень, по достижении которого феномен может выйти из-под контроля с невообразимыми последствиями, иначе говоря, каждая машина сможет производить потомство с всё большими потенциальными возможностями». Мне еще предстоит разобраться, почему Янчи так настойчиво хотел увидеть свои машины в реальном мире, однако он был против того, чтобы делать их из металлических сплавов и пластиковых соединений; по его мнению, они вполне могли развиться в мире, подобном тому, который Барричелли попытался создать для сущностей, выведенных им в памяти компьютера