Thoughts on sub-Turing interactive computability

TL;DR

This paper proposes a new approach to Computability Logic that considers external resources instead of infinite memory, aiming to redefine the boundaries of what is computationally feasible.

Contribution

It introduces a novel perspective on computability that explicitly models external resources, diverging from traditional assumptions of infinite internal memory.

Findings

Outlines a new direction for Computability Logic

Emphasizes external resources in computational models

Suggests a framework for resource-aware computability

Abstract

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.