Foundations of mathematics and physics one century after Hilbert : new perspectives /: new perspectives. (2018)