Constructive mathematics

Subject: Constructive mathematics
From: Macneil Shonle (Macneil.Shonle@Sun.COM)
Date: Wed Jan 30 2002 - 13:45:21 EST

I started studying constructive mathematics in a history of math course I took
as an undergrad. I got the impression that the constructive movement was pretty
much dead and mathematicians used AC and the law of the excluded middle without
thought. Am I to understand it correctly that constructivism is alive and well
in type theory?


This archive was generated by hypermail 2b28 : Wed Jan 30 2002 - 13:45:29 EST