Juan Caramuel y Lobkowitz spanischer katholischer Geistlicher, Philosoph, Theologe, Astronom und Mathematiker