Assertion: church | /r/CapableOf | modify his methods
Facets:
value: subsequently
type: TEMPORAL
Source sentences:
text: Church subsequently modified his methods to include use of Herbrand–Gödel recursion and then proved (1936) that the Entscheidungsproblem is unsolvable: there is no algorithm that can determine whether a well formed formula has a "normal form".[clarify]