Computers, Probability, Logic: Blaise Pascal’s Impressive Legacy