George Mitakides, Emeritus Professor of Mathematical Logic at the University of Patras, Visiting Professor at the University of Southampton, President of the Digital Enlightenment Forum