The work of Simon van Til