|
|
Re: Post machine: references?
Posted:
Aug 4, 2002 4:54 AM
|
|
"Nat Silver" <mathelp@worldnet.att.net> wrote in message news:<LAq29.15198$pg2.1218251@bgtnsc05-news.ops.worldnet.att.net>...
> Plamen Petrov wrote:
> > In 1936 Emil Post introduces a computational
> > model now known as "Post system/machine".
>
> > Could somebody give me the exact reference(s)
> > that discuss such a model?
>
> From the page,
>
> http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Post.html
>
> we retrieve the following references:
>
> 1. Martin Davis (ed.), Solvability, provability, definability:
> the collected works of Emil L Post (Boston, MA, 1994).
>
> 2. I Grattan-Guinness, The manuscripts of Emil L Post,
> Hist. Philos. Logic 11 (1) (1990), 77-83.
What I need is a direct reference, and it seems it is:
Post, E.L. 1936. 'Finite Combinatory Processes - Formulation 1'.
Journal of Symbolic Logic, 1, 103-105.
Could somebody confirm that this is what I need?
P.P.
|
|
