Assertion: logic | /r/CapableOf | cut to the heart of computer science
Facets:
Source sentences:
text: Logic cut to the heart of computer science as it emerged as a discipline: Alan Turing's work on the Entscheidungsproblem followed from Kurt Gödel's work on the incompleteness theorems.