**Subject: **Constructive mathematics

**From: **Macneil Shonle (*Macneil.Shonle@Sun.COM*)

**Date: **Wed Jan 30 2002 - 13:45:21 EST

**Reply****Next message:**Philippe Meunier: "deBruijn vs alpha-renaming"**Previous message:**Matthias Felleisen: "Jackson seminar"**Next in thread:**Matthias Felleisen: "Re: Constructive mathematics"**Reply:**Matthias Felleisen: "Re: Constructive mathematics"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]

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?

-Macneil

**Next message:**Philippe Meunier: "deBruijn vs alpha-renaming"**Previous message:**Matthias Felleisen: "Jackson seminar"**Next in thread:**Matthias Felleisen: "Re: Constructive mathematics"**Reply:**Matthias Felleisen: "Re: Constructive mathematics"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]

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