[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