On Sunday, August 9, 2015 at 2:57:20 AM UTC+5:30, Marko Rauhamaa wrote:
> Marko Rauhamaa :
>
> > Steven D'Aprano :
> >
> >> The contemporary standard approach is from Zermelo-Fraenkel set
> >> theory: define 0 as the empty set, and the successor to n as the
> >> union of n and the set containing n:
> >>
> >> 0 = {} (the empty set)
> >> n + 1 = n ∪ {n}
> >
> > That definition barely captures the essence of what a number *is*. In
> > fact, there have been different formulations of natural numbers.
>
> Rehashing this old discussion. I ran into this wonderful website:
>
> <URL: http://at.metamath.org/mpeuni/mmset.html>
Attention you Hilbertian!
Gödelian here — http://blog.languager.org/2015/07/cs-history-2.html
:-)
Thanks for that link. Need to study it carefully
--
https://mail.python.org/mailman/listinfo/python-list
