- 博客(1)
- 收藏
- 关注
RSS订阅原创 HW--Church numerals
The logician Alonzo Church invented a system of representing non-negative integers entirely using functions. Here are the definitions of 0, and a function that returns 1 more than its argument:
2017-07-19 04:14:54
929
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人