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