The editors and I find that this discussion has largely left behind issues relevant to foundations of mathematics. So from now on I will routinely reject messages on this topic unless there is something very compelling about them Martin (moderator)