David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Bulletin of Symbolic Logic 12 (2):267-289 (2006)
In 1931 Kurt Gödel published his incompleteness results, and some years later Church and Turing showed that the decision problem for certain systems of symbolic logic has a negative solution. However, already in 1921 the young logician Emil Post worked on similar problems which resulted in what he called an “anticipation” of these results. For several reasons though he did not submit these results to a journal until 1941. This failure ‘to be the first’, did not discourage him: his contributions to mathematical logic and its foundations should not be underestimated. It is the purpose of this article to show that an interest in the early work of Emil Post should be motivated not only by this historical fact, but also by the fact that Post’s approach and method differs substantially from those offered by Gödel, Turing and Church. In this paper it will be shown how this method evolved in his early work and how it finally led him to his results
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Jordan J. Lindberg (2000). Analytic Philosophy: Beginnings to the Present. Mayfield Pub. Co..
M. Beaney (2001). Conceptions of Analysis in Early Analytic Philosophy. Acta Analytica 25:97-116.
Halina Święczkowska (ed.) (1998). Emil L. Post and the Problem of Mechanical Provability: A Survey of Post's Contributions in the Centenary of His Birth. Chair of Logic, Informatics and Philisiophy of Science University of Białystok.
Margaret A. Rose (1991). The Post-Modern and the Post-Industrial: A Critical Analysis. Cambridge University Press.
Geoffrey K. Pullum (2011). On the Mathematical Foundations of Syntactic Structures. Journal of Logic, Language and Information 20 (3):277-296.
Emil L. Post (1946). Note on a Conjecture of Skolem. Journal of Symbolic Logic 11 (3):73-74.
Thomas Oberdan (1998). The Vienna Circle's 'Anti-Foundationalism'. British Journal for the Philosophy of Science 49 (2):297-308.
Emil L. Post (1936). Finite Combinatory Processes-Formulation. Journal of Symbolic Logic 1 (3):103-105.
Emil L. Post (1947). Recursive Unsolvability of a Problem of Thue. Journal of Symbolic Logic 12 (1):1-11.
Liesbeth De Mol (2006). Closing the Circle: An Analysis of Emil Post's Early Work. Bulletin of Symbolic Logic 12 (2):267 - 289.
Added to index2009-02-05
Total downloads5 ( #178,728 of 1,088,374 )
Recent downloads (6 months)0
How can I increase my downloads?