Timeline for Other ways to define naturals
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 28, 2010 at 20:23 | comment | added | drbobmeister | @Michael Renardy: yes, Tim's definition of $f_{1}$ seems like something from computer programming, doesn't it? A conditionally executed function . . . | |
| Nov 28, 2010 at 20:18 | history | answered | drbobmeister | CC BY-SA 2.5 |