Alan Turing and John von Neumann saw it early: the logic of life and the logic of code may be one and the same.
The intersection of machine learning and mathematical logic — spanning computer science, pure mathematics, and statistics — has catalyzed recent advances in artificial intelligence and deep learning ...