Alonzo Church: Architect of computer intelligence