caa a22 4500 397497679 CHVBK 20180308164525.0 cr unu---uuuuu 161202e199501 xx s 000 0 eng 10.1093/philmat/3.1.5 doi (NATIONALLICENCE)oxford-10.1093/philmat/3.1.5 Paper Machines [Elektronische Daten] [DANIELE MUNDICI, WILFRIED SEIG] Machines were introduced as calculating devices to simulate operations carried out by human computers following fixed algorithms. The mathematical study of (paper) machines is the topic of our essay. The first three sections provide necessary logical background, examine the analyses of effective calculability given in the thirties, and describe results that are central to recursion theory, reinforcing the conceptual analyses. In the final section we pursue our investigation in a quite different way and focus on principles that govern the operations of physically realizable machines. © Oxford University Press Articles nationallicence MUNDICI DANIELE Department of Computer Science, University of Milan via Comelico 39-41, 20135 Milano, Italy aut SEIG WILFRIED Department of Philosophy, Carnegie Mellon University Pittsburgh, Pennsylvania 15213-3890. U. S. A. aut Philosophia Mathematica Oxford University Press 3/1(1995-01), 5-30 0031-8019 3:1<5 1995 3 philmat https://doi.org/10.1093/philmat/3.1.5 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1093/philmat/3.1.5 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- MUNDICI DANIELE Department of Computer Science, University of Milan via Comelico 39-41, 20135 Milano, Italy aut NATIONALLICENCE 700 1- SEIG WILFRIED Department of Philosophy, Carnegie Mellon University Pittsburgh, Pennsylvania 15213-3890. U. S. A aut NATIONALLICENCE 773 0- Philosophia Mathematica Oxford University Press 3/1(1995-01), 5-30 0031-8019 3:1<5 1995 3 philmat Metadata rights reserved CC BY-NC-4.0 http://creativecommons.org/licenses/by-nc/4.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-oxford