document.write("« Deep learning hope and hype: MIT Technology Review’s Will Knight");document.write(" | ");document.write("Definable families of theories, related calculi and ranks. (arXiv:1901.11011v1 [math.LO]) »");