Graduate studies at Western
Bulletin of Symbolic Logic 12 (2):267-289 (2006)
|Abstract||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|
Similar books and articles
Jordan J. Lindberg (2000). Analytic Philosophy: Beginnings to the Present. Mayfield Pub. Co..
Emil L. Post (1947). Recursive Unsolvability of a Problem of Thue. Journal of Symbolic Logic 12 (1):1-11.
Emil L. Post (1936). Finite Combinatory Processes-Formulation. Journal of Symbolic Logic 1 (3):103-105.
Thomas Oberdan (1998). The Vienna Circle's 'Anti-Foundationalism'. British Journal for the Philosophy of Science 49 (2):297-308.
Emil L. Post (1946). Note on a Conjecture of Skolem. Journal of Symbolic Logic 11 (3):73-74.
Geoffrey K. Pullum (2011). On the Mathematical Foundations of Syntactic Structures. Journal of Logic, Language and Information 20 (3):277-296.
Margaret A. Rose (1991). The Post-Modern and the Post-Industrial: A Critical Analysis. Cambridge University Press.
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.
Liesbeth De Mol (2006). Closing the Circle: An Analysis of Emil Post's Early Work. The Bulletin of Symbolic Logic 12 (2):267 - 289.
Added to index2009-02-05
Total downloads5 ( #170,393 of 740,856 )
Recent downloads (6 months)0
How can I increase my downloads?