Waymo announced the acquisition of Latent Logic, a company started by Oxford University academics that uses “imitation learning” to train self-driving vehicles.

In the book, published by Oxford University Press, Sieg highlights Hilbert’s role in the development of mathematical logic and proof theory through a series of essays. In the same year, a long ...