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 ...
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 ...
Where can you find Grothendieck's "Recoltes et Semailles"? Is it available anywhere?
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 ...
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. ...