Who was the mathematician known for his work with probability theory?