57007
Informally , it asks whether every problem whose solution can be quickly verified by a computer can also be quickly solved by a computer ; it is widely conjectured that the answer is no. It was essentially first mentioned in a 1956 letter written by Kurt Gödel to John von Neumann .
 person: Kurt Gödel; person: John von Neumann
Given options, please tell me the categories of all the listed entity words.Output format is "type1: word1; type2: word2". 
Option: media, plant, vehicle, astronomical object, time, disease, animal, location, person, organization, mythical figure, food, biology, geographical phenomenon, instrument, event 
Text: {0} 
 Entities: Kurt Gödel, John von Neumann 
Answer:
 person: Kurt Gödel; person: John von Neumann