Implicit and Explicit Examples of the Phenomenon of Deviant Encodings
By:
References
- [1] Button, T. & Smith, P. (2012). The Philosophical Significance of Tennenbaum’s Theorem. Philosophia Mathematica 20(1): 114–121.
- [2] Carnap, R. (1950). Logical Foundations of Probability. Routledge and Kegan Paul.
- [3] Copeland, J. & Proudfoot, D. (2010). Deviant encodings and Turing’s analysis of computability. Studies in History and Philosophy of Science 41: 247–252.
- [4] Cuneo T. & Shafer-Landau R. (2014). The moral fixed points: new directions for moral nonnaturalism. Philosophical Studies 171: 399-443.
- [5] Dean, W. (2014). Models and Computability. Philosophia Mathematica 22 (2): 143–166.
- [6] Eklund, M. (2015). Intuitions, Conceptual Engineering, and Conceptual Fixed Points. In: Daly C. (Ed.). The Palgrave Handbook of Philosophical Methods. Palgrave Macmillan: 363–385.
- [7] Gandy, R. (1980). Church’s Thesis and Principles for Mechanisms. In: Barwise, J., Keisler H. J. & Kunen, K. (Eds.). The Kleene Symposium. North-Holland Publishing Company: 123–148.
- [8] Gödel, K. (193?). Undecidable Diophantine Propositions. In: Feferman S., et al. (Eds.). Gödel, K., Collected Works, Volume III, Unpublished essays and lectures. Oxford University Press 1995: 164–175.
- [9] Halbach, V. & Horsten, L. (2005). Computational Structuralism. Philosophia Mathematica 13(2): 174–186.
- [10] Kreisel, G.(1987). Church’s thesis and the ideal of informal rigour. Notre Dame Journal of Formal Logic 28: 499–519.
- [11] Makovec, D. & Shapiro S. (Eds.) (2019). Friedrich Waismann. The Open Texture of Analytic Philosophy. Springer.10.1007/978-3-030-25008-9
- [12] Piccinini, G. (2010/2017). Computation in Physical Systems. In: Zalta, E.N. (Ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
- [13] Piccinini, G. (2015). Physical Computation: A Mechanistic Account. Oxford University Press.10.1093/acprof:oso/9780199658855.001.0001
- [14] Putnam, H. (1980). Models and Reality. Journal of Symbolic Logic 45(3): 464–482.
- [15] Quinon, P. & Zdanowski, K. (2007). Intended Model of Arithmetic. Argument from Tennenbaum’s Theorem. In: Cooper, S. B., Kent, T. F., Löwe, B. & Sorbi, A. (Eds.). Computation and Logic in the Real World. CiE: 313–317.
- [16] Quinon, P. (2014). From Computability over Strings of Characters to Natural Numbers. In: Olszewski, A.; Brożek, B. & Urbańczyk, P. (Eds.). Church’s Thesis, Logic, Mind & Nature. Copernicus Center Press: 310–330.
- [17] Quinon, P. (2018). Taxonomy of Deviant Encodings, Lecture Notes in Computer Sciences 10963: 338–348.10.1007/978-3-319-94418-0_34
- [18] Quinon, P. (2019). Can Church’s Thesis be Viewed as a Carnapian Explication? Synthese: Online First.10.1007/s11229-019-02286-7
- [19] Quinon, P. (2020). The Anti-Mechanism Argument Based on Gödel’s Incompleteness Theorems, Indescribability of the Concept of Natural Number and Deviant Encodings. Semiotic Studies. In press.
- [20] Rescrola, M. (2007). Church’s thesis and the conceptual analysis of computability. Notre Dame Journal of Formal Logic 48 (2): 253–280.
- [21] Rescrola, M. (2012). Copeland and Proudfoot on computability. Studies in History and Philosophy of Science Part A 43 (1): 199–202.
- [22] Shagrir, O. (2006). Gödel on Turing on Computability. In: Olszewski, A.; Woleński, J. & Janusz, R. (Eds.), Church’s Thesis after 70 years. Ontos-Verlag: 393–419.
- [23] Shapiro, S. (1982). Acceptable Notation. Notre Dame Journal of Formal Logic 23(1): 14–20.
- [24] Sieg, W. (1997). Step by Recursive Step: Church’s Analysis of Effective Calculability. The Bulletin of Symbolic Logic 3 (2): 154-180.
- [25] Soare, R. (1996). Computability and Recursion. Bulletin of Symbolic Logic 2: 284–321.
- [26] Trakhtenbrot, B. (1988). Comparing the Church and Turing approaches: two prophetical messages. In: Herken, R. (Ed.) The universal Turing machine: a half-century survey. Oxford University Press: 603–630.
- [27] Turing, A. (1936). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42: 230–265; correction in (1937) 43: 544–546; reprinted in (Davis 1965: 115–154); page numbers refer to the (1965) edition.
- [28] van Heuveln, B. (2000). Emergence and consciousness: Explorations into the Philosophy of Mind via the Philosophy of Computation. Ph.D. thesis. State University of New York at Binghampton.
Language: English
Page range: 53 - 67
Published on: Nov 4, 2020
Published by: University of Białystok, Department of Pedagogy and Psychology
In partnership with: Paradigm Publishing Services
Publication frequency: 4 times per year
Related subjects:
© 2020 Paula Quinon, published by University of Białystok, Department of Pedagogy and Psychology
This work is licensed under the Creative Commons Attribution 4.0 License.