Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The mathematics of computing between logic and physics.Giuseppe Longo & Thierry Paul - 2011 - In S. B. Cooper & Andrea Sorbi (eds.), Computability in Context: Computation and Logic in the Real World. World Scientific.
Homo Sapiens, Homo Faber and Homo Dictyous. Creatively united by computing science.Cătălin Mamali - 2016 - Filozofia Publiczna I Edukacja Demokratyczna 5 (2):133-156.
Homo faber - Homo sapiens.A. Leroi-Gourhan - 1952 - Revue de Synthèse 71 (1):79-102.
Emil L. post's doctoral dissertation1.Stanislaw J. Surma - 1973 - In Stanisław J. Surma (ed.), Studies in the history of mathematical logic. Wrocław,: Zakład Narodowy im. Ossolinskich. pp. 11.
Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles.George Tourlakis - 1996 - Mathematical Logic Quarterly 42 (1):449-460.
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Philippos Papayannopoulos - 2018 - Dissertation,
The nature of computation: logic, algorithms, applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013: proceedings.Paola Bonizzoni, Vasco Brattka & Benedikt Löwe (eds.) - 2013 - New York: Springer.
Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01).C. S. Calude - 2001 - Springer.
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Filippos A. Papagiannopoulos - 2018 - Dissertation, University of Western Ontario
Hapoc 2013.Maarten Bullynck & Jean-Baptiste Joinet - unknown

Analytics

Added to PP
2016-11-18

Downloads
12 (#1,381,944)

6 months
4 (#1,279,871)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Introduction to a general theory of elementary propositions.Emil L. Post - 1921 - American Journal of Mathematics 43 (3):163--185.

Add more references