3 ms·
> You can precisely "quarantine" the "human referree part within the framework of a formal proof. I think it is unlikely you can separate the two precisely. If
by geoalchimista 8y ago
> You can precisely "quarantine" the "human referree part within the framework of a formal proof.
I think it is unlikely you can separate the two precisely. If it be so, mathematicians can replace doctors who make diagnoses. I don't think all empirical facts can fit nicely into a formal proof system.
But still, any effort to reduce the burden on the human referees would be welcome. This said proof system for peer review would be most useful to math and theoretical CS (though not so much to biomedical sciences).
- Ericson2314 8y agoI take it as trivially true that they can be separated shallowly. Then the question is how big the informal "leaps of faith" are. If they are big, the next thing is to look for "strands" of reasoning (lemmas that may not be connected) inside them, as a sort of formal proof reverse-marginalia.