Re: Physicists and Philosophers Debate the Boundaries of Science | Quanta Magazine

Posted by Barry MacKichan on Dec 29, 2015; 5:36pm
URL: http://friam.383.s1.nabble.com/Physicists-and-Philosophers-Debate-the-Boundaries-of-Science-Quanta-Magazine-tp7586966p7587020.html

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