Why should I switch to Python? - Infinity of Primes
Neel Krishnaswami
neelk at brick.cswv.com
Thu Apr 6 01:18:58 CEST 2000
Moshe Zadka <moshez at math.huji.ac.il> wrote:
>
> [the axiom of choice]
>
> Thus, the question was taken out of mathematics and into philosophy,
> and hence cannot be answered, so the only answer I can give is my
> own: I refuse to use the axiom of choice, but I do use the
> ultra-filter axiom. This relates in a deep way to how I view the
> future of mathematics.
I tend towards Chaitin's view: "Axioms are very cool -- make some
more up! After all, mathematics is basically arbitrary anyway!" I
guess this shows I am really a frustrated Hilbertist at heart. :)
Seriously, I've developed an interest in constructive mathematics
since running across the whole style of syntax-directed soundness
proofs in type theory. It has (finally) dawned on me that getting
acquainted with a more constructive style of analysis will likely
make me a better programmer. Can you suggest a good textbook?
Neel
More information about the Python-list
mailing list