Gaspar Lax — Spanish mathematician, logician, and philosopher