OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]
Rustom Mody
rustompmody at gmail.com
Sun Aug 9 12:29:06 EDT 2015
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
More information about the Python-list
mailing list