Roger Penrose: Mathematics & What Exists