[FOM] Question on history of Turing machines
Lew Gordeew
legor at gmx.de
Mon Nov 14 06:11:59 EST 2005
Harvey Friedman wrote on Sat, 29 Oct 2005 19:09:53 -0400:
> I recently gave an expository talk on P = NP at the Ohio State University
> Mathematics Colloquium. Here is the url:
>
> http://www.math.ohio-state.edu/%7Efriedman/manuscripts.html
Here is an excerpt:
" There are many sources that discuss Turing machines. E.g.,
[Tu36], [Tu37], [Ro67], [Co71], [Da73], [AHU74], [HU79],
[GJ79], [Od89], [Pa94], [Da00], [CLR01], [Si05], [Co], and
many dozens of others."
What about
[Po36] E. Post, Finite combinatory processes - formulation I, Journ. Symb.
Logic 1 (1936), 103-105 ?
Generally, I wonder why this contribution by Emil Post is not being very
often referred to by contemporary logicians writing on Turing machines?
--
Lust, ein paar Euro nebenbei zu verdienen? Ohne Kosten, ohne Risiko!
Satte Provisionen für GMX Partner: http://www.gmx.net/de/go/partner
More information about the FOM
mailing list