first set define meant effective method effective calculation effective calculability ie calculation would succeed rapid succession following appeared alonzo church stephen kleene jb rosser 's calculus finely honed definition general recursion work g del acting suggestions jacques herbrand cf g del 's princeton lectures subsequent simplifications kleene church 's proof entscheidungsproblem unsolvable emil post 's definition effective calculability worker mindlessly following list instructions move left right sequence rooms
Formal science Computer science Algorithms