[FOM] Question on history of Turing machines
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:
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."
[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