32614
In 1936 , Alonzo Church and Alan Turing published independent papers showing that a general solution to the " is impossible , assuming that the intuitive notion of " effectively calculable " is captured by the functions computable by a Turing machine ( or equivalently , by those expressible in the lambda calculus ) .
 person: Alonzo Church; person: Alan Turing; person: Turing
Given options, please tell me the categories of all the listed entity words.Output format is "type1: word1; type2: word2". 
Option: location, person, organization 
Text: {0} 
 Entities: Alonzo Church, Alan Turing, Turing 
Answer:
 person: Alonzo Church; person: Alan Turing; person: Turing