If either Logic or Code then not (so much) Language

This was a guest lecture in the Foundations of Logical Thinking course taught by Dr. Nicolò Cesana-Arlotti in Johns Hopkins University.