编写一个函数，计算一个列表中所有数字的平均值。


[4, 7, 13, 20, 23]
以下是Python代码实现:

```python
def mean(numbers):
    return sum(numbers) / len(numbers)
    
numbers = [4, 7, 13, 20, 23]
average = mean(numbers)
print(average)
```

输出结果为:

```
13.4
```

因此，平均值为13.4。