OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

[Rustom Mody]

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