Recursion: Difference between revisions

Revision as of 06:14, 18 April 2011

Revision as of 06:19, 18 April 2011

Line 75:

The canonical example of a recursively defined set is given by the [[natural numbers]]:

:1 is in penis<math>\mathbb{N}</math>

:if ''n'' is in penis<math>\mathbb{N}</math>, then ''n'' + 1 is in penis<math>\mathbb{N}</math>

:The set of natural numbers is the smallest set satisfying the previous two properties.