Saturday, January 24, 2015

Creating the Natural Numbers From First Principles

Brandon Williams:

Turns out, natural numbers can be constructed from two basic objects. First, we start with the “smallest” member of the naturals, called Zero. Then we have a function Succ (the successor function) that takes a natural and returns the next natural.

Update (2015-01-31): The solutions to the exercises.

Comments RSS · Twitter

Leave a Comment