Blaise Pascal, philosopher and mathematician