... attempt[s] to show that Church's great discovery was lambda calculus and that his remaining contributions were mainly inspired afterthoughts in the sense that most of his contributions, as well as some of his pupils', derive from that initial achievement.
... pagtatangka [s] upang ipakita na ang Iglesia ng dakilang pagkatuklas ay lambda calculus at ang kanyang mga natitirang mga kontribusyon na higit sa lahat ay inspirasyon afterthoughts sa kamalayan na karamihan ng kanyang mga kontribusyon, pati na rin ang ilan sa kanyang mga nag-aaral ', kunin mula sa na unang tagumpay.