Christiaan Huygens, Thomas Hobbes