On 29 Dec 2015, at 7:58, Frank Wimberly wrote:
Hi Eric,
My undergraduate adviser wrote a book on constructive analysis. An
Amazon
review is quoted below. It seems like it wasn't so short or pleasant:
Really? Bishop was your advisor? There was an active constructive
mathematics group at NMSU when I was there. I didn’t really
participate. Proofs are hard enough with no constraints.
I have suspected, based on reading only about ten pages of the Homotopy
Type Theory book, that the Univalent foundations approach is very close
to constructive. In particular, IIRC, the Axiom of Choice is false in
that approach.
—Barry
============================================================
FRIAM Applied Complexity Group listserv
Meets Fridays 9a-11:30 at cafe at St. John's College
to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
