The Question of the Boundaries of Computer Science

W pracy postawiona zostaje teza dotycząca granic informatyki w nawiązaniu do pewnej pracy Stewarda C. Shapiro. Podaje się argument za tym, że owe granice są określone przez własności umysłu w świecie rzeczywistym. Teza Churcha jest właśnie tym czynnikiem, który wyznacza i specyfikuje owe granice. Potem rozważane są pewne zagadnienia związane z rozumieniem tezy Churcha jak: podział jej sformułowań na warianty i wersje. Następnie, co jest głównym tematem pracy, przedyskutowane są relacje zachodzące pomiędzy klasami funkcji rekurencyjnych, algorytmów, maszyn i programów komputerowych. W tym kontekście podany jest także komentarz na temat rozumienia terminu ‘effectively’.