Talk:Algorithm characterizations: Difference between revisions

Content deleted Content added
The Sipser's applies to any Lambda Calculus?: good question; Godel actually believed machines were best
SatyrBot (talk | contribs)
m SatyrBot auto-adding tag to talk page. See User:SatyrBot/Current project
Line 1:
 
{{Logic2}}
 
== Holding place -- Markov's (1954) definition of "algorithm" ==