He shaped Catholic doctrine for centuries, arguing for faith based on reason and science, and offering five logical 'proofs' for the existence of god.