ML² - Mathematical Logic and Machine Learning