Translator Disclaimer
June 2006 Closing the circle: an analysis of Emil Post’s early work
Liesbeth De Mol
Bull. Symbolic Logic 12(2): 267-289 (June 2006). DOI: 10.2178/bsl/1146620062


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.


Download Citation

Liesbeth De Mol. "Closing the circle: an analysis of Emil Post’s early work." Bull. Symbolic Logic 12 (2) 267 - 289, June 2006.


Published: June 2006
First available in Project Euclid: 2 May 2006

zbMATH: 1120.03001
MathSciNet: MR2223924
Digital Object Identifier: 10.2178/bsl/1146620062

Rights: Copyright © 2006 Association for Symbolic Logic


This article is only available to subscribers.
It is not available for individual sale.

Vol.12 • No. 2 • June 2006
Back to Top