Mathematics and Logic in History and in Contemporary Thought