Why should I switch to Python? - Infinity of Primes

[Neel Krishnaswami]

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