[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