Philosophy of Mathematics and Natural Science by Hermann Weyl