Saturday, January 24, 2015 [Tweets] [Favorites]

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

Stay up-to-date by subscribing to the Comments RSS Feed for this post.

Leave a Comment