Mathematical developments arising from Hilbert's problems, Proceedings of Symposia in Pure Mathematics