FOM: Do We Need New Axioms? Upcoming Panel Discussion

[Martin Davis]

At 01:00 AM 2/12/00 -0500, JoeShipman at aol.com wrote:
>Maddy seems to emphasize axioms like V=L which may have no additional 
>consistency
>strength but settle CH as well as questions about projective sets and the
>like.
Maddy's interest in V=L has been along the lines of: how can we use 
mathematical practice to refute it? She's never proposed it as an 
appropriate new axiom.

Martin




                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at eipye.com
                          (Add 1 and get 0)
                        http://www.eipye.com