The Question of the Boundaries of Computer Science
Year: 2020
Type: article
Abstract: 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’.
Source: Seminare Poszukiwania naukowe
Authors: Janusz Mączka, Adam Olszewski
Institution: Pontifical University of John Paul II in Kraków
Language: Polish
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W3136048352