61714
The last chapter reveals that the punched cards represent a program that proves two theorems , which , in reality , would not be discovered until 1931 by Kurt Gödel .
 Kurt Gödel
Please list all entity words in the text that fit the category. Output format is "word1, word2". 
Option: location, person, organization 
Text: {0} 
Answer:
 Kurt Gödel