Information related to Проект:Логика/Списки/Тьюринг, Алан Матисон