5
votes
0answers
358 views

Different approaches to the multiverse of sets

There are some different approaches to the multiverse of sets, in particular: 1) The approach by Woodin, 2) The approach by Sy Friedman, ..., 3) The approach by Hamkins. I wonder to know if ...
3
votes
0answers
229 views

A Question Regarding Boolean-valued Models

What were the intuitions motivating the creation (or discovery, if you will) of Boolean-valued models? I have searched for the Scott-Solovay paper on the subject, but to no avail. There also seems to ...
1
vote
1answer
188 views

Mathematical analysis of Lewisian concepts, esp. natural properties

David Lewis was one of the great philosophers of our time. He was a genuine philosopher, his focus was on theoretical metaphysics. And he had something to say about mathematics. His last book - he ...
3
votes
2answers
2k views

where can you find Grothendieck's “Recoltes et Semailles”?

Where can you find Grothendieck's "Recoltes et Semailles"? Is it available anywhere?
47
votes
3answers
6k views

Nelson's program to show inconsistency of ZF

At the end of the paper Division by three by Peter G. Doyle and John H. Conway, the authors say: Not that we believe there really are any such things as infinite sets, or that the Zermelo-Fraenkel ...
12
votes
3answers
896 views

Has there ever been a weaker Church-like thesis?

Background. The Church-Turing thesis, in one of its many equivalent formulations, states that the intuitively computable arithmetical functions are exactly those computed by Turing machines. ...