OT Intuitionism+Platonism+Mysticism => CS (was Deep comparison of dicts...)

Marko Rauhamaa marko at pacujo.net
Sat Mar 21 02:28:30 EDT 2015


Rustom Mody <rustompmody at gmail.com>:

> However I am talking some historical facts, viz: Because some nuts did
> the 20th century equivalent of: "Break each others' heads about how
> many angels can dance on the head of a pin" therefore much of the
> world around us exists as it does (for better or worse) including my
> (and I guess your) degree and job.

The deep philosophical questions around the year 1900 in both
mathematics and physics were left embarrassingly open. The way out was
to stop caring.

Mathematics gave up on defining numbers and settled with a standard
chain of beads:

   0 = {}
   1 = { 0 }
   2 = { 0, 1 }
   3 = { 0, 1, 2 }

   <URL: http://en.wikipedia.org/wiki/Set-theoretic_definition_o
   f_natural_numbers#Contemporary_standard>


Marko



More information about the Python-list mailing list