Новая космогония   ::   Лем Станислав

Слыша, который в работе "Логика и Новая Космогония" обратил внимание на неоднозначность связи между Физикой и Логикой. Весьма возможно, говорит Слыш, что Космос с ослабленной скоростью изменения энтропии мог бы создавать очень большие информационные системы, которые оказались бы очень глупыми. В свете работ ряда молодых математиков это выглядит вполне правдоподобно; они допускают, что изменения в Физике, уже осуществленные Игроками, привели к изменениям в математике, или, точнее говоря, к изменениям в методике конструирования непротиворечивых систем в формальных дисциплинах. От такого положения уже недалеко до утверждения, что знаменитая теорема Геделя, содержащаяся в его работе "Uber die unentscheidbaren Satze der formalen Systeme" и определяющая границы совершенства, достижимого в системной математике, не является универсально справедливой, то есть пригодной "для всех возможных Космосов", а справедлива лишь для Космоса в его теперешнем состоянии. (И более того - что когда-то, скажем, полмиллиарда лет назад, теорема Геделя была бы неверна, ибо тогда законы конструирования математических систем были _не такими_, как сейчас.