FOM: A suggested problem
torkel at sm.luth.se
Wed Nov 12 09:03:26 EST 1997
Martin Davis says:
>It surely is. I mentioned in an earlier posting what I think of as a key
>foundational problem in our time: how to make sense of the \Pi_1 statements
>implied by large cardinal axioms.
This sounds like a question that should qualify as foundational on
any reasonable understanding of the word. I would be very interested
to learn what people have to say about it. So perhaps you could
explain a bit what you mean by "make sense of" in this context?
More information about the FOM