The article contains an outline of a possible new direction for Computability Logic (see www.csc.villanova.edu/~japaridz/CL/ ), focused on computability without infinite memory or other impossible-to-possess computational resources. The new approach would see such resources as external rather than internal to computing devices. They could or should be accounted for explicitly in the antecedents of logical formulas expressing computational problems.

翻译：本文概述了可计算性逻辑（参见 www.csc.villanova.edu/~japaridz/CL/ ）一个可能的新研究方向，其核心关注点在于无需无限内存或其他不可能拥有的计算资源的可计算性。新方法将此类资源视为计算设备的外部资源而非内部资源。在表达计算问题的逻辑公式的前件中，可以或应当明确地考虑这些资源。