Зимы у нас незаметные, так что волноваться о заморозках не приходится. Что же касается критического отношения к теореме Патнэма, то насколько мне известно, оно не включает её опровержение. А всякие заботы высказанные Чалмерсом и прочими по поводу связи входов и выходов как раз не относятся к конечным автоматам, представляемым O-regions Гарриги и Виленкина. А уж то, что я пытаюсь доказать, мы пока ещё не затронули. “One man’s modus ponens in another man’s modus tollens.”