@article {340414,
	title = {Closing the circle: An analysis of {E}mil {P}ost{\textquoteright}s early work},
	journal = {Bulletin of symbolic logic},
	volume = {12},
	number = {2},
	year = {2006},
	pages = {267{\textendash}289},
	abstract = {<p>In 1931 Kurt G{\"o}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 Posts approach and method differs substantially from those offered by G{\"o}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.</p>},
	issn = {1079-8986},
	author = {De Mol, Liesbeth}
}
